8.6 Arithmetic and Coroutining
Arithmetic comparisons can be delayed until their arguments are
instantiated instead of generating an instantiation fault by passing the
comparison to the suspend solver (see section 17.3). This
gives a form of coroutining.