Change GADT to default import