All Monads are Functors

[Bulat Ziganshin]

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
split




-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com