 Chris Barker's universal iota combinator has the very simple λf.fSK structure defined here, using denotational semantics in terms of the lambda calculus,

From this, one can recover the usual SKI expressions, thus