Re: [Haskell-cafe] generics-sop : deep flattening of nested algebraic values ?

Ah, thank you for the reference! However I prefer to stay within generics-sop if possible. I am studying the implementations of `geq` and `gshow` in `basic-sop`, since they look like they're doing what I want.

http://hackage.haskell.org/package/generics-mrsop comes with both a deep and a shallow encoding of datatypes.

The paper is here: https://doi.org/10.1145/3240719.3241786