Re: [GHC] #1768: More flexible type signatures for data constructors