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