Functions to simplify/normalize rules with the ability to leverage monads and applicative functors over traditional control structures.