module Monad where

class  Monad m => MonadPlus m  where
     mzero  :: m a
     mplus  :: m a -> m a -> m a