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