Perhaps we could do it in Python in the first pass for validation purpose. And then vibe rewrite it in Haskell.