¿Puede un análogo de laS combinador se expresará en Haskell usando solo funciones estándar (sin definirlo por ecuación) y sin usar lambda (función anónima)? Lo espero por tipo(a -> b -> c) -> (a -> b) -> a -> c.

Por ejemplo, un análogo de laK combinador es soloconst.

De hecho, estoy tratando de expresar la función\f x -> f x x usando funciones estándar, pero no puedo pensar en ninguna función no lineal estándar para comenzar (esa es una función que usa su argumento más de una vez).