Type pairings.