Fix cabal file
Fix top level case declarations inside a non-global module