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).

questionAnswers(3)

yourAnswerToTheQuestion