チーズonクラコットというのをコンビニで見つけた。クラコットにのったチーズを期待したのだが*1、材料にチーズらしいものがない。ただのクラコットだった。 *1:チーズのほうが字が小さい時点で妙だとは思った

上記のHypersetを試していて発見したGHCiの挙動。 *Hyperset> :t let x = singleton (Right x) in x let x = singleton (Right x) in x :: forall a. (Ord a) => Set a *Hyperset> let x = singleton (Right x) *Hyperset> :t x x :: Set Integer *Hyperset>…

toList等はポリモーフィックなリストに入れて返さないといけませんね。いろいろ書かなくてはいけなくなるので少なくとも結構面倒になりそうなので、する価値がないかもしれないと思います。こんなものをイメージしていました。 data List u = forall uos. Ur…