This actually actually looks surprisingly readable to me. What I find really funny though is how they use Haskell as a strict language mostly working around its lazy nature with all those do, let etc. constructs. It really makes you wonder if they wouldn't have preferred a strict version of Haskell to begin with. Which is funny of course, given Haskell's propaganda around laziness & pure functional programming.