<div dir="ltr">We will probably want to ship that with GHC 7.10.</div>