{-# htermination mzero :: Maybe a #-}
import Monad