[self post] Tradeoffs of highly expressive types

This is an attempt to unify a few threads around type safety that I’ve encountered and put a slightly different spin on them.