<div dir="auto">+1</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Aug 30, 2019, 3:33 PM David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">I do have two concerns:<div dir="auto"><br></div><div dir="auto">1. The Genetically instances for base classes will need to move to base as well, including auxiliary classes where those are needed.</div><div dir="auto"><br></div><div dir="auto">2. The Generic instance of Generically is currently a custom job. That's really not the greatest situation in general. Is that essential for some reason? If not, I think its Generic instance should just be derived.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Aug 30, 2019, 2:16 PM Alexis King <<a href="mailto:lexi.lambda@gmail.com" target="_blank" rel="noreferrer">lexi.lambda@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
In recent years, the DefaultSignatures extension has seen popular use as a mechanism for providing derived typeclass instances via GHC.Generics. Although undeniably useful, I have always felt it is somewhat ugly: it is mutually exclusive with other, non-Generic default method implementations, and it can only be used for one Generic deriving mechanism, so implementations must choose between GHC.Generics and Data.Data.<br>
<br>
Fortunately, with the advent of DerivingVia, there is a better way: simply attach generic instances to a separate newtype, defined like<br>
<br>
newtype Generically a = Generically { unGenerically :: a }<br>
<br>
instance Generic a => C (Generically a) where<br>
  ...<br>
<br>
then derive instances using DerivingVia as follows:<br>
<br>
data Foo = Bar X | Baz Y Z<br>
  deriving C via Generically Foo<br>
<br>
The `Generically` name already exists for this purpose in the `generic-data` package, making it a good candidate name for a newtype in GHC.Generics (`generic-data` could simply re-export the type with suitably recent versions of `base`). An alternate name would be the more traditional `WrappedGeneric`. I don’t have much of a preference either way, but I do think the `Generically` name is cute, especially when used with DerivingVia.<br>
<br>
I believe this type should be in `base` because it is<br>
<br>
(1) clearly generally useful in the same way that similar newtypes in `base` like `WrappedMonad` are (and probably even more so),<br>
<br>
(2) extremely lightweight in terms of additional API complexity (it’s just a newtype),<br>
<br>
(3) isn’t worth depending on a separate package for, encouraging a proliferation of (possibly name-conflicting) newtypes in individual packages if it isn’t in `base`, and<br>
<br>
(4) is an opportunity to add instances based on `Generic` for classes already in `base`.<br>
<br>
Overall, it’s something that would feel right at home in GHC.Generics to me.<br>
<br>
As a final note, whichever name people prefer, it would of course make sense to provide an analogous `Generically1` or `WrappedGeneric1` type for `Generic1` (as `generic-data` does as well).<br>
<br>
Alexis<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>