Moving towards a Model GADT