{-# htermination mzero :: [] a #-}
import Monad