:load regression_tests/Examples.hs
:set +simplify
:generalise put_last with last
:quit
