Why microhs uses combinators?

Theoretically there are bad cases, but they don’t happen in practice. The bad case is deeply nested lambdas, but that’s not common. Just the optimization you get from using B and C is enough to make sizes reasonable.