subtractionCommutes a b = a - b == b - a

Does it?

Main> ourCheck subtractionCommutes
Falsifiable, after 1 tests:
1
-2

Subtraction does not commute and we are given a counter-example (a=1, b=-2)