:load regression_tests/SubfunctionWildcard.hs
:set +simplify
:generalise subfunctionwildcard
:quit
