为什么Vector不是大小矢量而不是Functor等？

Question

为什么a的{​​{1}}参数来自sized-vector 有类型Vector a n（长度为n）不是最后一个类型参数吗？它可以防止创建Functor，Foldable，Traversable和Applicative实例，并强制复制其部分接口。