<> (ifelse (#t) ?t ?f) (?t)
<> (ifelse (#f) ?t ?f) (?f)
.. (ifelse (eq cat fox) on-equal on-unequal)
03 (ifelse (#f) on-equal on-unequal)
01 (on-unequal)