Re: [GHC] #366: incomplete patterns and GADT