GADT fixes