超実数vs実数 という言い方を
実数vs標準実数 と言い直す
ことから始めないと、
順序体 であることの意義に
気づけないのではないか？
だから、モナドが垂直に生えたり。