At ghci load the file:

Prelude> :load ./Testing.hs
[1 of 1] Compiling Main             ( Testing.hs, interpreted )
Ok, modules loaded: Main.

Is True true?

Main> check ourConfig True
OK, passed 500 tests.