This is very cool. I'm wondering if some of the templates and switch statements would be nicer if there was an intermediate representation and a compiler-like architecture.
I'm also curious about how this compares to something like Jax.
Also curious about how this compares to zml.