Why microhs uses combinators?

Not exponential but quadratic if you do it well. But yeah, that is still a disadvantage. Oleg Kiselyov wrote a paper showing how to do it linearly by using bulk combinators but those are not technically a finite set of combinators and he compares to de bruijn indices using unary numbers which is also a bit sketchy. And I don’t think MicroHs uses this approach.