<div dir="auto">I am pleased to announce the release of a new package, linear-generics[*], based on GHC.Generics and the venerable generic-deriving. The killer features:<div dir="auto"><br></div><div dir="auto">1. Generic1 representations associate compositions the right way around, which is to say the *left* way around, meaning no more inefficient fmaps or pesky Functor constraints.</div><div dir="auto"><br></div><div dir="auto">2. to, from, to1, and from1 are multiplicity polymorphic, so you can use them in all your fancy new linearly typed code.</div><div dir="auto"><br></div><div dir="auto">The package includes Template Haskell-based deriving, based closely on generic-deriving, which is the recommended way to write instances. There is also a limited, somewhat unsafe, and somewhat inefficient way using provided DerivingVia targets.</div><div dir="auto"><br></div><div dir="auto">Many thanks to Arnaud Spiwack and Ryan Scott for valuable advice and assistance.</div><div dir="auto"><br></div><div dir="auto">[*] <a href="https://hackage.haskell.org/package/linear-generics">https://hackage.haskell.org/package/linear-generics</a></div></div>