Data Types with Negation bentnib.org 8 points by isaac21259 4 years ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread aatd86 4 years ago Semantic subtyping uses negation.It's an analogous to if else.