Add tests the GADTs come through as ADTs properly
Add tests the GADTs come through as ADTs properly

ndmitchell/hogle-dead,wolftune/hoogle,BartAdv/hoogle,ndmitchell/hoogle,BartAdv/hoogle,wolftune/hoogle,ndmitchell/hoogle,wolftune/hoogle,BartAdv/hoogle,wolftune/hoogle,ndmitchell/hogle-dead,BartAdv/hoogle,ndmitchell/hoogle