Patch for kan-extensions on GHC 7.6.3