２つ以上の引数を持つ関数の合成

composite.hs

f :: Int -> Bool
f x = even x

f' :: (a -> Int) -> (a -> Bool) 
f' = (f.) -- (.) :: (β→γ)→(α→β)→(α→γ) αにa、βにInt、γにBoolが当てはまる。

f'' :: (b -> (a -> Int)) -> (b -> (a -> Bool))
f'' = ((f.).) -- (.) :: (β'→γ')→(α'→β')→(α'→γ') α' に b、 β' に a->Int 、 γ'に a->Bool が当てはまる。

g = length :: [d] -> Int
g' = (sum.).filter :: (Int -> Bool) -> [Int] -> Int
g'' = (((sum).).).zipWith :: (j -> k -> Int) -> [j] -> [k] -> Int

fg = f . g :: [d] -> Bool
fg' = f' . g' :: (Int -> Bool) -> [Int] -> Bool
fg'' = f'' . g'' :: (j -> k -> Int) -> [j] -> [k] -> Bool