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