Remove use of GADT