I was just looking at Mark Jones' summary of his Hugs extension for
disambiguating collection types (and other MPC snafus), and while I
have some qualms and queries about the generality of his solution, it
does appear to solve an important set of such problems. So, I was
wondering... Are there plans to implement this in ghc, too? Or
equally, any ohter type system extension that would finesse the issue
with typing, in particular, non-type-constructor collections, such
as tries, and the examples mark furnishes.
Asking out of shameless self-interest, as usual.
Cheers,
Alex.
