Re: Goals for GHC 8.8