:: (a -> b) -> Maybe a -> Maybe b package:ghc