:load expl/Examples.hs
:set +simplify
:generalise appenD
:test appenD on "appenD [0, 1, 2, 3, 4] [5, 6, 7, 8, 9]"
:quit
