．の扱いが分からない・・。 コメントを貰ったんだけどぱっと見で動きが理解できなかった。 f :: (b -> c) -> (a -> b) -> a -> c f g h = g . h f :: (b -> c) -> (a1 -> a -> b) -> a1 -> a -> c f g h = (g .) . h f :: (b -> c) -> (a2 -> a1 -> a -> b)…