Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate