After this and other simplification, genType could be included with the compiler.
Benefits include being always in sync, take advantage of infra from the compiler, and be called directly instead of spawning a separate process. So for example the error messages can become first-class.
Also, sometimes genType needs to take a conservative approach, not knowing if a function uses curry at runtime. So some unnecessary runtime conversion of values can be removed.
After this and other simplification, genType could be included with the compiler. Benefits include being always in sync, take advantage of infra from the compiler, and be called directly instead of spawning a separate process. So for example the error messages can become first-class.
Also, sometimes genType needs to take a conservative approach, not knowing if a function uses curry at runtime. So some unnecessary runtime conversion of values can be removed.