of trying to "optimize" the case where the destination is an IF. This was gratuitous, and confused type inference.