:load expl/Examples.hs
:set +simplify
:generalise evens
-- Non-exhaustive patterns
-- :test evens on "evens [S (S (S (S Z))), S (S (S (S (S Z)))), S (S (S (S (S (S Z))))), S Z, Z]"
:quit
