Functor => Pointed => Applicative => Monad

wren ng thornton wren at
Mon Nov 29 04:32:26 EST 2010

On 11/29/10 3:39 AM, John Smith wrote:
> Is there any intention to reorganise the standard class hierarchy,
> arranging them logically instead of in order of invention? I plagiarised
> the following example from
> and Trac:

I'm not aware of any intention to do so, but I wholeheartedly approve of 
doing so. I'd probably leave fmap being called fmap though, in order to 
minimize breakage. Also, that enables the cute name for

     class Bifunctor f where
         gmap :: (a -> b) -> f a c -> f b c

Live well,

More information about the Libraries mailing list