S combinator em Haskell
Pode um análogo doS combinador ser expresso em Haskell usando apenas funções padrão (sem defini-lo por equação) e sem usar lambda (função anônima)? Espero que seja do tipo(a -> b -> c) -> (a -> b) -> a -> c
.
Por exemplo, um análogo doK combinador é apenasconst
.
Na verdade, estou tentando expressar a função\f x -> f x x
usando funções padrão, mas não pode pensar em nenhuma função não linear padrão para começar (que é uma função que usa seu argumento mais de uma vez).