:: (Applicative m, Foldable f, Monoid b) => (a -> m b) -> f a -> m b package:liquidhaskell-boot