Require GHC >= 7.8