Assertion with condition string representation in Haskell. - View it on GitHub