Thu, 16 Sep 1999 12:07:14 -0400 (EDT), Christopher Jeris <[EMAIL PROTECTED]> pisze:
> Then BtreeMap is not an instance of Map, because its methods come
> with the constraint (Ord a).
[...]
This subject is discussed in
http://research.microsoft.com/users/simonpj/Papers/collections.ps.gz
> This doesn't work because the type synonym Alist cannot be partially
> applied, being a type synonym. But if I use `newtype' instead,
> then I have to clutter up the code with an identity type constructor
> `A' and projector `unA'. Is there a cleaner way to do it?
I think not.
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://kki.net.pl/qrczak/
\__/ GCS/M d- s+:-- a22 C+++>+++$ UL++>++++$ P+++ L++>++++$ E-
^^ W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP->+ t
QRCZAK 5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-
