Kevin
You might also find my paper "Bulk types with class" useful
http://research.microsoft.com/~simonpj/papers/collections.ps.gz
For a discussion of the type-class design space you might find
this helpful
http://research.microsoft.com/~simonpj/papers/multi.ps.gz
And don't forge
Mark P Jones wrote:
> | 2) Does anyone care that this type of thing is not possible?
>
> Yes, they do. That said, I've often found that people are usually happy
> simply to write something like:
>
>newtype Assocs i e = MkAssocs [(i,e)]
>
> I know it's a bit of a pain to be forced to use t
| The biggest one is that I would like to be able to make [(ix,el)], [Pair
| ix el], and Array ix el all members of a Find class while should look
| something like this:
|
| class Find c ix el where
| find :: ix -> c -> Maybe el
|
| without having to define a new type or introducing the poss
