[math-fun] Compound CAR/CDR functions