La función más corta a -> b -> (a -> b) en Haskell

Recibí la siguiente pregunta en una prueba:

Escribe una función fcon el siguiente tipo a -> b -> (a -> b). ay bno debe estar vinculado en ningún sentido, cuanto más corto sea el código, mejor.

Se me ocurrió f a b = \x -> snd ([a,x],b). ¿Puedes encontrar algo más pequeño?

Actualmente el ganador es: f _=(.f).const

Su ejemplo puede reducirse al deshacerse de la función anónima en el lado derecho:

f a b x = snd ([a,x],b)

Esto funciona porque el tipo a -> b -> a -> bes equivalente a a -> b -> (a -> b)en Haskell.

La función f _=(.f).constes en realidad de un tipo más general que f :: a -> b -> (a -> b), a saber f :: a -> b -> (c -> b). Si no se proporciona una firma de tipo, el sistema de inferencia de tipo infiere un tipo de f :: a -> b -> (a -> b), pero si incluye la firma de tipo f :: a -> b -> (c -> b)con la misma definición exacta, Haskell la compilará sin problemas e informará tipos consistentes para las aplicaciones parciales de f. Probablemente haya alguna razón profunda por la cual el sistema de inferencia de tipo es más estricto que el sistema de verificación de tipo en este caso, pero no entiendo suficiente teoría de categoría para llegar a una razón de por qué este debería ser el caso. Si no está convencido, puede probarlo usted mismo.

Dado ScopedTypeVariables, se me ocurrió esto:

f (_::a) b (_::a) = b

Si reduce tanto mi función como la suya, la mía es un cabello más corto:

f(_::a)b(_::a)=b
f a b x=snd([a,x],b)

Por supuesto, probablemente no se le permita confiar en ScopedTypeVariables: P.