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