Hypersetの使いかた

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

x = singleton (Right x)

を"解く"(デコレーションを求める)というのは無茶な話でした(等式を解かせようと思ったら、データとして与えないといけない)。