{-# htermination mzero :: MonadPlus m => m a #-}
import Monad