Rules that convert one type to another.
Rules that test a property of an existing value.
Type class instances for Rule