ちょっと寄り道しすぎたかな。 関数合成演算子 (.) :: (b -> c) -> (a -> b) -> (a -> c) f . g = \x -> f (g x) この演算は結合法則を満たすという。 f . (g . h) = f . (\x -> g (h x)) = \y -> f ((\x -> g (h x)) y) = \y -> f (g (h y)) (f . g) . h = …