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

[Bulat Ziganshin]

Hello Marc,

> That's why it would be save to assume that the programmer doesn't want a
> failure but success.

generally speaking, languages like Haskell introduces strong typing
exactly to avoid "false successes"


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