:: Functor f => f a -> (a -> b) -> f b package:utility-ht