Data.Monoid

[John Meacham]

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

-- 
John Meacham - ⑆repetae.net⑆john⑈