日々の流転

λ. hyperset

urelementの存在を許しているので、member関数の型はtype UrelemOrSet u = Either u (Set u) として、(Ord u) => UrelemOrSet u -> Set u -> Bool という型になってしまっていて、少し扱いにくい。もしHaskellがスーパータイピングをサポートしていたら、UrelemOrSet uをSet uのスーパータイプとして定義することで少しはすっきりしそうだが……

とりあえず現在のスナップショットを公開しておこう。

• hyperset-haskell-0.0.1.tar.gz