Tue May 21 10:25:07 EDT 2019

Abstraction is auto-lifting

It seems that "glossing over" basically boils down to discarding
wrapping wrapping.  I.e. one thing is another thing, except for some

Obviously the wrapping is there for a reason, since it carries with it
the implementation, the information of why this abstraction is a lie.

This can be done both on simple wrapping (take one thing and turn it
into another one thing), or abstracting a collection of things as a
single prototype thing.

It all wraps so eerily to parameterized types.