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