Re: [GHC] #16345: Duplicated allocation in case-of-known-constructor (was: Duplicated allocation)