clarified that we need GHC 7.8.2