Re: [GHC] #1158: Problem with GADTs and explicit type signatures