Update Monad_Rules.md