{-# htermination mapM :: Monad m => (a -> m b) -> [a] -> m [b] #-}