:load expl/Examples.hs
:set +accum
:set +simplify
:generalise pepper'
:test pepper' on "pepper' Z [0, 1, 2, 3]"
:quit
