・同一モナド内の２点は「差が無限小」という関係で同値関係で結ばれる
・異なるモナドが接触すれば・・・めでたく同値関係で結ばれる
・異なる実数が等号で結ばれる！

っていうシナリオか？

アーーーーーーーッハッハハハハハハハ
ホーーーーーーーッホホホホホホ