[Haskell-cafe] What are the problems with instances for polymorphic types?
glaebhoerl at gmail.com
Sun Jun 15 19:47:52 UTC 2014
In other words instances for forall-types, such as:
instance Foo (forall a. [a]) where ...
It feels obvious to me that there *would* be problems with this, but I'm
curious about what, exactly, they are.
Could someone familiar with the matter either elaborate on them, or refer
me to an existing explanation, a previous discussion, or something of the
I *don't* have any kind of use case in mind, I'm merely seeking a better
understanding of the type-system issues involved.
(I attempted Google, but didn't have much success.)
Thanks in advance.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe