Loading prop-tests.disco...
Running tests...
  foo: OK
  reverse: OK
  x: OK
Loaded.