:load expl/Examples.hs
:generalise fibAdd
-- Non-exhaustive patterns
-- :test fibAdd on "fibAdd (S (S (S Z))) (S (S (S (S (S Z)))))"
:quit
