HaskellTopGADT

makeAllGADT