Быстрая проверка не-булевых тестов

Я использую QuickCheck для проверки моего кода для некоторых числовых вычислений. По сути, у меня есть точная функция и несколько ее приближений, которые намного эффективнее.

В настоящее время я реализую свойства, которые хочу протестировать, например:

prop_blah input = (abs $ (exact input)-(approx input)) < threshold

Но было бы действительно неплохо точно знать, насколько точен каждый из алгоритмов аппроксимации, и сравнить их друг с другом. Одним из простых способов сделать это было бы получить отчеты о среднем значении и стандартном отклонении левой части неравенства. Это как-то возможно?