úÎ Œ ÎNone A distict  from , so that we stop fudging ' the exception message after the first  . HThe name comes from abbreviating assert  and translating the result to  my native tongue. Generic helper for , that includes a descriptive message to the   AssertFailure1 exception if thrown. Use this to build your own   helpers, such as $. A rule is included which rewrites   to   when compiling with -fignore-asserts. "Assert that two values are equal.  byEq assert "Bool" False True ()6*** Exception: & Assertion failed "Bool", False "` True&Assert that two values obey the given  . byOrd assert "Int" LT 0 1 ()()3Assert that a value satisfies the given predicate. byPred assert "Odd" odd 4 ()**** Exception: & Assertion failed "Odd", 4       assert-0.0.1.0Control.Exception.AssertbaseGHC.BaseassertArse assertMessagebyEqbyOrdbyPred GHC.Exception ExceptionGHC.IO.ExceptionAssertionFailedControl.Exception.Base mapExceptionidghc-prim GHC.TypesOrdering$fExceptionArse $fShowArse