Nice musing on how a type system can be a way to tame complexity or at least isolate it explicitly in one place.
