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