I got this question at a test:
Write a function
f with the following type
a -> b -> (a -> b).
b should not be bound in any sense, the shorter the code, the better.
I came up with this:
f a b = \x -> snd ([a,x],b)
Can you find something tinier ?
Currently the winner is: f _=(.f).const