Re[2]: All Monads are Functors

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@gmail.com