無限集合＋比較を扱った話 https://www.fewbutripe.com/2018/12/05/seemingly-impossible.html これもexhaustive checkができそうな期待 (edited)

We will construct Swift programs that should be impossible to implement, yet somehow are not!