world-peace

world-peace copied to clipboard

Is there a way to concatenate type-level literals from two type-level lists?

5

subj, I'm looking for a way to compose variants from two different definitions. Is there something similar to https://stackoverflow.com/questions/59495874/creating-a-completely-dependent-concatenation ?

coderfromhere

I wonder if it would be a good idea to have a special `Show` instance for `Union Identity`. It could unwrap the `Identity` before using the underlying `Show` instance for...

cdepillabout

It would be interesting to try to emulate [Data.Extensible.Sum](https://hackage.haskell.org/package/extensible-0.4.8/docs/Data-Extensible-Sum.html), with it's use of `MemberShip`.

cdepillabout