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