TAG_List(s) are inherently statically typed