zypeh
says to
OwO
是的，list, vector 类型的其中一个 typeclass