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