{-# htermination mplus :: Maybe a -> Maybe a -> Maybe a #-}
import Monad