Patch for GHC 7.8.3