Semantic type is a list