Studying for exam in Haskell

curioustypes.hs

func = \f g x -> f (g x)

func2 = \g x -> (.) (g x)

func3 = \g x -> (\g2 x2 -> g x (g2 x2))


f1 = (($)$($))

f2 = (($)($))

f3 = \x -> (\f1 x1 -> f1 x1) x

f4 x f1 x1 = (f1 x1) x

b1 = (.)(.)
b2 = \g x -> (.) (g x)
b3 = \g x -> (\h y -> (g x) (h y))