Added GHC Option via pragma.