Removed GADT that wasn't needed