[tome]

I think it's a joke. Haskell is manifestly not suitable for writing a Mars lander.

A verified DSL written in Haskell on the other hand ...

http://ivorylang.org/ivory-introduction.html