Three Dollar Quill

Okay, the bad news is that I got distracted playing video games and I'm writing this up as fast as I can, late.

The good news is, I read over the various papers, and understand things well enough now, to be pretty sure that my laziness-motivated subtyping in System Fω shouldn't cause any serious issues. Basically, the generative/applicative distinction is driven by the behavior of binding an abstracted value.

Of course, now that I understand how purity interacts with functors, I want to take another crack at understanding pure sealing, although I really should prioritize effect polymorphism over pure sealing.

Anyway, it's late, better wrap up quick quick quick.

Good night.