:: (a -> a) -> m a -> m a package:ghc