Unexpected recompilation

[Peter_Adelman]

This was a manifestation of this problem, so what was actually holding me up with an infinite loop within type inference.