MonadRestrict型クラス