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

This has a more specific type (unit result) than normally, to catch errors.
This has a more specific type (unit result) than normally, to catch errors.