:load expl/Examples.hs
:set +simplify
:generalise negateAll
:test negateAll on "negateAll [True, True, False, True, True, False, False]"
:quit
