Sure, here is why I’m excited about MicroHs:
As explained in https://discourse.haskell.org/t/haskell-tools-could-loose-some-weight , MicroHs is awesome because it lets you use Haskell with a lightweight compiler that is easier to adopt than GHC (e.g. you basically only need gcc and a few MB of disk space to set it up).
Then the compilation/evaluation model using combinator graph is fascinating, checkout https://www.youtube.com/watch?v=IIE7umTroBY , toward the end Lennart demonstrates how it specializes expressions.
The runtime and your application is compiled down to machine code using a C compiler, which can be used to target embedded environment like micro-controllers.
Lastly, I hope MicroHs won’t adopt complicated extension like TemplateHaskell, which I think is necessary to achieve Simple Haskell.