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

Bulat Ziganshin bulat.ziganshin at gmail.com
Sun Feb 18 13:54:19 EST 2007

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

More information about the Haskell-Cafe mailing list