The challenge is of course writing one that is fast enough to be used for runtime-compilation (imagine a service that compiles code). I had to rewrite mine (ht

The challenge is of course writing one that is fast enough to be used for runtime-compilation (imagine a service that compiles code). I had to rewrite mine (https://github.com/chewxy/hm https://github.com/chewxy/hm) twice, and finally removing typeclasses to be fast enough for a inference system I wrote.