:load expl/Examples.hs
:set +simplify
:generalise powset
-- Non-exhaustive patterns
-- :test powset on "powset [0, 1, 2, 3]"
:quit
