:load expl/Examples.hs
:set +accum
:set +simplify
:generalise powapp
-- Non-exhaustive patterns
-- :test powapp on "powapp [0, 1, 2, 3, 4, 5, 6, 7] [8, 9, 10, 11, 12, 13, 14, 15]"
:quit
