Reformulated GADTs