Started defining the custom (unrolled) monad for rules and validations.
- For now only defined Monad instance.
- No tests for now, need to add those to see it makes sense.