Thanks to romildo for reporting, patch encoding 0.7 for ghc 7.8