I'm not affiliated with Lumi in any way, but among their people there's Phil Freeman, the creator of Purescript.

That alone makes Lumi one of the most interesting companies for me, if I'd be looking to change job