:: Monad m => [a] -> (a -> m ()) -> m () package:ghc