EmptyCase is now an extension flag that GHC understands (but Cabal does not yet)
Wibble to output, now that CaseElim is less aggressive.