>>> 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..."