More playing with gadt