GroundTypeTag[Int]
GroundTypeTag[List[Int]]