In my experience, custom types often turn out either being so restrictive as to be less than useful or being leaky abstractions. (This might be an example of ju

In my experience, custom types often turn out either being so restrictive as to be less than useful or being leaky abstractions. (This might be an example of just where a healthy engineering compromise is unavoidable.)