Yeah, it makes for some very interesting uses cases for code-generation.

I've converted entire databases of mostly static data into nothing but a bunch of exact-match function head signatures and let one of the fastest paths in the VM be my "query planner".

It's insanely fast (at the expense of compile time) and the generated code is really easy to read, trace, and debug.