I added a template here to derive instances for Universe (Some F) (Some being from dependent-sum:Data.Some), where F :: k -> *. As far as I know, it's not possible to do this with generics.
I'm happy to keep this as a separate library if you prefer, but I figured I'd offer it here first.
I added a template here to derive instances for
Universe (Some F)
(Some
being fromdependent-sum:Data.Some
), whereF :: k -> *
. As far as I know, it's not possible to do this with generics.I'm happy to keep this as a separate library if you prefer, but I figured I'd offer it here first.