type of cdr is Pair