the right side of a `relation` is its types