All Monads are Functors

Bulat Ziganshin bulat.ziganshin at
Mon Aug 14 04:03:42 EDT 2006

Hello Taral,

Monday, August 14, 2006, 9:02:58 AM, you wrote:

> In my opinion, an instance definition of a subclass should allow the
> superclass's methods to be defined as if they were part of the
> subclass, e.g.:

> instance Monad [] where
>     fmap = map
>     return x = [x]
>     join = concat

i support this idea. in my Streams library i forced now to group and
order function definitions according to type classes to which they are

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at

More information about the Haskell-prime mailing list