27 May
2020
27 May
'20
1:37 a.m.
Sorry for the mix-up. It really turns out that I can't really define (==) with only min and max. However, it turns out that the suggested default definition is effective when (==) is properly given. I've come up with another type where it is effective, so stay tuned.