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 write. 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.