[Haskell-cafe] Maybe off-topic -- Writing contracts or software specifications