Allow GADT syntax for newtypes