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