Re: [GHC] #9872: Runing type functions is too slow