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