7.4 Iota combinator