WeakTypeTag[Int]