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