{-# htermination mapM :: (a -> IO b) -> [a] -> IO [b] #-}