Create Monad_Rules.md