Может аналогS комбинатор быть выраженным в Haskell с использованием только стандартных функций (без определения его уравнением) и без использования лямбды (анонимная функция)? Я ожидаю, что по типу(a -> b -> c) -> (a -> b) -> a -> c.

Например, аналогK комбинатор простоconst.

На самом деле я пытаюсь выразить функцию\f x -> f x x используя стандартные функции, но не может придумать ни одной стандартной нелинейной функции для начала (это функция, которая использует свой аргумент более одного раза).