Our great sponsors
-
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.
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
-
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