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

[Marco Zocca]

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
>