Pair/snd.kind