:load expl/Examples.hs
:set +accum
:set +simplify
:generalise balloons
:quit
