Re: [GHC] #16185: Add an AnonArgFlag to FunTy