type pairings