S Kombinator in Haskell

Kann ein Analogon von derSKombinator [https://en.wikipedia.org/wiki/SKI_combinator_calculus]in Haskell nur mit Standardfunktionen ausgedrückt werden (ohne sie durch eine Gleichung zu definieren) und ohne Lambda (anonyme Funktion)? Ich erwarte, ...