Re: [GHC] #14422: {-# complete #-} should be able to be at least partially type directed