Re: [GHC] #13726: Declaring GADT constructor and associated data family with the same name gives weird error