Função a -> b -> (a -> b) mais curta em Haskell

Eu recebi a seguinte pergunta em um teste:

Escreva uma função fcom o seguinte tipo a -> b -> (a -> b). ae bnão deve ser vinculado em nenhum sentido, quanto menor o código, melhor.

Eu inventei f a b = \x -> snd ([a,x],b). Você consegue encontrar algo menor?

Atualmente o vencedor é: f _=(.f).const

Seu exemplo pode ser reduzido ao se livrar da função anônima no lado direito:

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

Isso funciona porque o tipo a -> b -> a -> bé equivalente a -> b -> (a -> b)em Haskell.

A função f _=(.f).consté realmente de um tipo mais geral que f :: a -> b -> (a -> b), a saber f :: a -> b -> (c -> b). Se nenhuma assinatura de tipo for fornecida, o sistema de inferência de tipo inferirá um tipo de f :: a -> b -> (a -> b), mas se você incluir a assinatura de tipo f :: a -> b -> (c -> b)com exatamente a mesma definição, Haskell a compilará sem problemas e relatará tipos consistentes para as aplicações parciais de f. Provavelmente, existe alguma razão profunda pela qual o sistema de inferência de tipo é mais rigoroso do que o sistema de verificação de tipo neste caso, mas não entendo a teoria de categorias suficiente para apresentar uma razão de por que esse deveria ser o caso. Se você não está convencido, pode tentar por conta própria.

Dado ScopedTypeVariables, eu vim com isso:

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

Se você reduzir minha função e a sua, a minha é mais curta:

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

Claro, você provavelmente não tem permissão para confiar em ScopedTypeVariables: P.