Re: [GHC] #13223: Core Prep sometimes generates case of type lambda