On Mon, Nov 12, 2012 at 9:44 AM, Roman Cheplyaka <roma@ro-che.info> wrote:

* José Pedro Magalhães <jpm@cs.uu.nl> [2012-11-12 09:27:17+0000]

> Hi,
>
> I would prefer it if packages would use DefaultSignatures conditionally,
> instead of creating new packages just to define a generic variant of a
> function. In general, though, I think it's good practice to define the
> defaults as separate functions (like `genericSize`) and export them, so
> that those not using DefaultSignatures can still write an instance easily.

Do you propose exposing genericSize conditionally?

No; it should be exported in both cases (it doesn't harm exporting it even when DefaultSignatures is supported).

Cheers,
Pedro