We will probably want to ship that with GHC 7.10.