f . gと書いたときにgの結果がfに渡されるイメージで、Unixの|パイプに例えられます。 *> :t (.) (.) :: (b -> c) -> (a -> b) -> a -> c 表現は正確ではありませんが、渡される結果が「1つ」でなくても、ドット演算子は使えます。 > let f = undefined :: b…