remove tagged type spec.