Restrict type of monadic binding

From HaskellWiki
Revision as of 07:24, 5 November 2007 by Lemming (talk | contribs) (part of "do notation considered harmful" which can be seen as a proposal)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

According to Do_notation_considered_harmful#Safety the type of the monadic binding combinator (>>) should be restricted to

(>>) :: m () -> m a -> m a

This way, you can omit _ <- only if the monadic return value has type ().