関数はEqのインスタンスではないが… Haskellでは関数はEqクラスに属さない。定義域が無限集合の場合には二つの関数が等しいことを有限の手続きでは証明できないためだ。それはまあいいのだが、 f = ... g = fこういう場合でさえもfとgが等しいかどうかを判定…

型が一致しないので、Data.Dynamicを使ってみる。 import Data.Dynamic s = toDyn s' where s' :: Dynamic -> Dynamic -> Dynamic -> Dynamic s' f g x = (f # x) # (g # x) k = toDyn k' where k' :: Dynamic -> Dynamic -> Dynamic k' x y = x infixl 3 # …