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