我阅读了William Cook的"On Data Abstraction,Revisited",并重读了Ralf Laemmel的"表达引理",试图理解如何在Haskell中应用前一篇论文的思想.所以,我试图理解你如何在没有指定类型的情况下在Haskell中实现例如集合联合函数？
haskell types existential-type typeclass
existential-type ×1
haskell ×1
typeclass ×1
types ×1