bump time upper bound for GHC 7.10