Re: [GHC] #12618: Add saturated constructor applications to Core