| ... | ... | @@ -37,6 +37,10 @@ data SomeFoo = exists a . Foo a => SomeFoo a |
|
|
|
would have to carry around a dictionary for Num as well as Foo in dictionary passing implementation of type classes. In general some sort of fixpoint iteration would be needed to determine the set of dictionaries needed on an existential type.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This would not affect typecase based implementations of classes such as jhcs.
|
|
|
|
|
|
|
|
|
|
|
|
## Cons
|
|
|
|
|
|
|
|
|
| ... | ... | |
