Restrict type of monadic binding
Jump to navigation
Jump to 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 ().