On Sun, Nov 4, 2012 at 5:39 PM, Johan Tibell <johan.tibell@gmail.com> wrote:

Couldn't we do it using GHC's default implementations based on
signatures features, so we don't have to expose any new things in the
API?

We used that in unordered-containers like so:

#ifdef GENERICS
default parseRecord :: (Generic a, GFromRecord (Rep a)) => Record
-> Parser a
parseRecord r = to <$> gparseRecord r
#endif

Exactly, that's what I meant with DefaultSignatures.

(I see that someone CC'd you here so maybe you missed the thread on cafe.)