They could've done something similar to what you do when you implement a functional language in C and used a union to represent every possible return type, and

They could've done something similar to what you do when you implement a functional language in C and used a union to represent every possible return type, and included functions (closures if you will) in that union, then you solve the problem of the infinite type.