Better error messages #6
Description
Would be good to print values of all variables in the predicate which implement Show. Maybe also narrowing down which clause of the predicate failed (assuming it is a bunch of clauses &&-ed together, which I guess will be a common pattern).