:: (a -> b) -> f a -> f b package:prelude-compat