GHC 7.8 workarounds