Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Now we have Generically(1) in base (since 4.17) so any class with generic default methods can have an instance of Generically. I made an issue: https://github.com/Quid2/flat/issues/33
There are other generic frameworks, such as generics-sop and kind-generics so even within generic default methods we are limiting ourselves to only deriving GHC.Generics. There should be one newtype for each generic framework so you can derive via SOP.Generically and Kind.Generically.
To specify a representing type I can generically derive Representable via More a `ShapedBy` [a].
Yes or if you have instances of the polynomial functors, you can create a trivial instance like https://github.com/fumieval/witherable/issues/89