ghc-options: -DFOO=42