3 Sep
2017
3 Sep
'17
4:47 p.m.
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