Re: [GHC] #16030: Poor pretty-printing of GADT constructors in GHCi