Haskell Function Composition with multiple arguments example

function_composition.hs

f :: [Bool] -> Bool
f = and

g :: (Eq a) => ([a],[a]) -> [Bool]
g = uncurry $ zipWith (==)

h :: (Eq a) => ([a],[a]) -> Bool
h = f . g

f' :: [Bool] -> Bool
f' = and

g' :: (Eq a) => [a] -> [a] -> [Bool]
g' = zipWith (==)

h' :: (Eq a) => [a] -> [a] -> Bool
h' xs ys = (f' . uncurry g')(xs,ys)

main :: IO ()
main = do
    print $ h ([1,2,3],[1,2,3])
    print $ h' [1,2,3] [1,2,3]

h'' :: (Eq a) => [a] -> [a] -> Bool
h'' = (f' .) . g'

dot :: (c -> d) -> (a -> b -> c) -> a -> b -> d
dot = (.).(.) -- look into my eyes!

h''' :: (Eq a) => [a] -> [a] -> Bool
h''' = f' `dot` g'

;-)