John Meacham john at
Tue Sep 13 21:09:59 EDT 2005

On Tue, Sep 13, 2005 at 08:55:09PM -0400, Cale Gibbard wrote:
> I should note that another small thing which would be desirable is a
> way to construct the derived instance of a class at a given type.
> Perhaps something along the lines of "instance Show MyType derived" or
> "derived instance Show MyType" which on its own would be handy
> sometimes.

this would be useful, but we must be sure that all the constructors for
the type are in scope or this could be used to break encapsulation.

John Meacham - ⑆⑆john⑈ 

More information about the Libraries mailing list