Control.Exception.Assert
data
Arse
assertMessage
byEq
byOrd
byPred
assert