On Friday, 14 January 2022 at 23:51:37 UTC, Ola Fosheim Grøstad wrote: > Yet x < x+1 does not hold for any types in D. Huh? Please expound. Pretty sure x < x+1 for plenty of types in D, or I'm sure I would have noticed by now!