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