Three Dollar Quill

I confirmed that I should have known about the issue I found with existential types, and put together a fix (untested) for it. Now, I'm considering where to go next.

• Well, it would be nice to get more coverage on the existential types module than just importing it.
• But, important question, can I get any meaningful tests written when I just have the unit type?
• If not, before writing more types, I want to actually try to dig myself out of the documentation hole I'm in.

I don't want to mess around with this right now, so I'm going to wind down now.

Good night.