The relations on the right side of a relation after the colon are types