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