In another thread I gave an example of a Length
that assured it was never negative. It’s not a great example though since I was really answering a different question and just explaining opaque types as an aside.
1 Like