丁寧な説明ありがとうございます。 意味が(公理がどうインプリメントされているのか)わかってきました。数学を計算機上で表現、理解するということには独特の面白さを感じます。 考えてみると x = singleton (Right x)を"解く"(デコレーションを求める)とい…