On 18 March 2012 18:30, Patrick Palka <patrick at parcs.ath.cx> wrote: > Proposed instance definition: > > instance Functor Handler where > fmap f (Handler h) = Handler (fmap f . h) Nice idea. +1 Bas