Proposal: Add `Generically` (or `WrappedGeneric`) newtype to GHC.Generics

[Oliver Charles]

Yea, that's fair.

On Fri, 30 Aug 2019, 7:50 pm Alexis King, <lexi.lambda at gmail.com> wrote:

> > On Aug 30, 2019, at 13:26, Oliver Charles <ollie at ocharles.org.uk> wrote:
>
> >
> > I haven't really thought it out, but I wonder if
> >
> > newtype GenericallyUsing a c
> >
> > Also works, paving the way for other generic classes.
>
> I don’t think this really adds anything over just having two newtypes,
> personally. `generics-sop` could, of course, always export its own newtype
> for this purpose, also named `Generically` or otherwise, and I think that
> would be simpler without any real disadvantages. I don’t think there are
> very many situations where you could be usefully polymorphic in the second
> type parameter of `GenericallyUsing`.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190830/96b54111/attachment.html>