Revert genC* to non-monadic form.
Make (int <: real).