:load expl/Examples.hs
:set +accum
:set +simplify
:generalise zeros
:test zeros on "zeros [Z, S (S Z), S Z, Z, S Z, S (S (S Z)), Z]"
:quit
