Sun Mar 11 21:09:12 EDT 2018

Am I just whining about types?

Code is really all glue.  The code that you would think of as code
that actually does something is a very small percentage of all code I

So no, I'm not whining about types.  Glue code better be typed.

Because it is utterly boring in its details.  It shouldn't be there in
the first place if interfaces were well-adapted.