pair is now typed