[Haskell-cafe] Type Directed Name Resolution

[Stephen Tetley]

On 12 November 2010 20:33, Malcolm Wallace <malcolm.wallace at me.com> wrote:

> Either that, or people find it awkward to deal with the substantial
> extra hierarchies of type classes.

After the initial version in in PDFS it also developed operation
bloat. e.g. the added Sequence class has many methods that don't fit
well for standard inductive List...