Comment by eru

Haskell is in a similar boat with regards to a missing formal spec.