Type-level generics

[Wolfgang Jeltsch]

Am Samstag, den 02.09.2017, 22:36 -0400 schrieb Ryan Scott:
> If you're willing to go a completely different route from
> GHC.Generics, then you might be interested in the paper Generic
> Programming with Multiple Parameters [1] (whose existence I just
> learned of—thanks to Pedro, the author, for pointing it out to me). It
> does present a single Generic class that is capable of working over
> any number of type parameters, although the interface presented is
> significantly more complex than the current GHC.Generics.

Very interesting! I will go and read it.

All the best,
Wolfgang