Why microhs uses combinators?

The combinator reduction code fits on a screen. The other 7000 lines are primitives you need no matter what. If you want to experiment, you can get the lambda expressions from the compiler, before the bracket abstraction has run. You only need to implement lambda calculus + int arithmetic to run simple programs.