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