User blog comment:Tomtom2357/Complete Proper Combinators/@comment-10217029-20130713105331

c=Aac is possible, even if the arity of A is larger than 3. c=Y(Aa) is such an example, where Y is a fixed point combinator.