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