显然,在数据声明[src],[src]上添加类型类约束是个坏主意.
我个人并没有想要限制我创建的数据类型中的类型,但对于我来说,为什么语言设计师"认为允许这是一个坏主意"并不明显.这是为什么？
haskell types typeclass
haskell ×1
typeclass ×1
types ×1