Add module Example.MonadPlus