型が一致しないので、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 # …