:: Functor f => f a -> (a -> b) -> f b package:ghc