[Haskell-cafe] Using deriving with indexed data types

[Tom Ellis]

On Sat, Sep 30, 2023 at 05:37:45PM +0100, Tom Ellis wrote:
> and it shows you can still use deriving for all your instances:

Oh the direct link to the instances should have been

https://github.com/tomjaguarpaw/ad/blob/589926448865700fa616e8c6f6e4a011384499cb/indexed-types/src/IndexedTypes/Example.hs#L111-L133