GroundTypeTag[Int]