:load expl/Examples.hs
:set +simplify
:generalise mirror
-- TODO: write a :test
:quit
