Re: [GHC] #13680: Can't use TypeApplications with [] data constructor