Monad の主張に対応