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