:: (Monad m) => m a -> (a -> m b) -> m b package:ghc