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