cdr [badArg]                = throwError $ TypeMismatch "pair" badArg
cdr [badArg]                = throwError $ TypeMismatch "pair" badArg
cdr [badArg]                = throwError $ TypeMismatch "pair" badArg