>>> In Haskell I cannot pass a function to a function, only its >>> expansion. > >> What do you mean by "expansion"? Can you clarify this? > > f1=\x->x+1 > f2=\x->2*x > g=\x->x.f1 > h=\x->x.(\x->x+1) > > h is g Not clear. Try starting with "function's expansion is..."