{-# htermination guard :: MonadPlus m => Bool -> m () #-}
import Monad