The entire point of a good type system is to reduce the need for extra cognitive diligence around your data/code. The more corner cases you have to be careful a

The entire point of a good type system is to reduce the need for extra cognitive diligence around your data/code. The more corner cases you have to be careful around, the less helpful the type system is.