Suppose we write a function called * which multiplies two numbers
For all possible values of x, then x * 1 == x
Add to our source file
multiplicativeIdentity x = x * 1 == x
Then reload and run 500 tests
Main> :reload Ok, modules loaded: Main. *Main> check ourConfig multiplicativeIdentity OK, passed 500 tests.