haskellで計算以外のことをしようと思ったとき

mapMとmapM_の違いにはまる。

Prelude> mapM :: (Monad m) => (a -> m b) -> [a] -> m [b]
Prelude> mapM_ :: (Monad m) => (a -> m b) -> [a] -> m ()