Make case-> reduce to -> when it can.