Classes

The expected type of a relation-keyed map, built per key from the map a call passes.