Haskell 为什么不是'；大小向量的t向量不是函子，等等？

为什么

Vector

的

a

参数来自

---

类型向量a n（长度为n）不是最后一个类型参数吗？它阻止创建可折叠、可遍历和可应用的Functor实例，并强制复制其某些接口。

。。。但这有关系吗

Size vector

被弃用，取而代之的是。这很不方便，但不是无法解决的。您可以定义

newtype FlippedVec n a=FlippedVec{unFlipVec:：Vector a n}

并使用

FlippedVec

s的可能重复项