Note to self

[neelk]

I think I just figured out how to do polytypic programming in a sane, type-abstraction-respecting way. Now I need to write it up -- I'll do that for my computation and deduction project.

Hm. I can't find a good illustration for this post, so pretend there's a mind-blowing picture here.