:load expl/Examples.hs
:set +accum
:set +simplify
:generalise oddpos
:test oddpos on "oddpos [1, 2, 3, 4, 5, 6, 7, 8]"
:quit
