Deriving projection functions using `generics-sop`

[AriFordsham]

I would appreciate if someone could look at this for me:

https://stackoverflow.com/questions/66992276/deriving-projection-functions-using-generics-sop