{-# htermination mapAndUnzipM :: Monad m => (a -> m (b,c)) -> [a] -> m ([b], [c]) #-}
import Monad