This is how I'd like to program: brianmckenna.org/blog/polymorph
11
32
83
Conversation
I wonder if HOAS would help here
2
3
Annoying thing about HOAS is that afaik it can't currently be used in a dependently type setting (violates positivity checks).