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