GHC issue #8825 was fixed in 7.8.4.