:load expl/Examples.hs
:set +simplify
:generalise takE
:test takE on "takE (S (S (S (S Z)))) [0, 1, 2, 3, 4, 5]"
:quit
