Convenient accessors makes type inference better
See Rule.and
See Rule.andAll
See Rule.defer
See Rule.effect
See Rule.ensure
See Rule.ensureF
See Rule.flatten
See Rule.invalid
See Rule.modify
See Rule.modifyM
See Rule.or
See Rule.orAll
See Rule.pure
See Rule.when
See Rule.whenF
See Rule.valid