+1. I think that's exactly the right way to think about types. They're like integration tests you pay for with some upfront thought about your design (and fight

+1. I think that's exactly the right way to think about types. They're like integration tests you pay for with some upfront thought about your design (and fighting type system complaints).