Another GHC 7.8 workaround