fixed export of convertGADTs