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