:load expl/Examples.hs
:set +simplify
:generalise reversE
:test reversE on "reversE [0, 1, 2, 3, 4]"
:quit
