Pragmas to fix older GHCs