Define ghc options in cabal: -O4 -threaded -with-rtsopts=-N
Introduce status label