Tue May 29 16:29:24 EDT 2018

Typechecker fights

What does this actually accomplish?

Making sure you get the wrapping/unwrapping right such that behaviors
tagged onto specific types can do their thing.

I find there to be a big gap sometimes between the intuitive "oh, I
can string this and that together", and getting all the type
packing/unpacking right.

I guess that's what the type checker is for, to fill in those tedious