Re: [GHC] #14119: Refactor type patterns