On Tue, Nov 6, 2012 at 3:32 PM, Herbert Valerio Riedel <hvr@gnu.org> wrote:

Clark Gaebel <cgaebel@uwaterloo.ca> writes:
| There's no disadvantage to having the generic functionality in a
| separate package, right?

Well for one it means you can't simply write

    instance Class Type

but must write

    instance Class Type where
        forEveryMethod = genericForEveryMethod
        ...

and it wouldn't work with the planned generics feature that you could just write

    data Type deriving Class

I for one think conditional APIs are all OK; a form of "progressive enhancement".