Re: [Haskell-cafe] Why do I have to specify (Monad m) here again?

i mean that it makes error message more obvious - you don't need to remember that this context is implied due to class declaration

The error might look like Missing instance (Ord m) araising from use of ... imposed by automatically infered class constraint from context line xy ? ;) Something like this is done anyway if you omit the type declaration.. (And I have to admit that there were times I had trouble understanding them .. *g* ) Marc