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