GADT 和 ScopedTypeVariables/PatternSignatures 之间的交互
我正在探索长度索引向量的“陈词滥调”示例，代码改...