昨日の Y combinator を Haskell に入れてみたけど、無限型を生じるからと言って拒否される。問題は Y=λg.g( (λx.λh.h(xxh)) (λx.λh.h(xxh)) g )の xxh の部分。x::X, h::H と仮定すると、xxh という表現が意味をもつには X = X -> H -> a という型等式が成…