Added show instance for GADT Token