This directory contains some example for the use
of CurryCheck to check the equivalence of operations.

Since these are examples to test whether CurryCheck
is able to report counter-examples, their test fails
intentionally.