universe-dependent-sum-1.1: Universe instances for types from dependent-sum

Index

cardinalitySomeData.Universe.Some
DeriveUniverseSomeData.Universe.Some.TH
deriveUniverseSomeData.Universe.Some.TH
FiniteSomeData.Universe.Some
universeFSomeData.Universe.Some
UniverseSomeData.Universe.Some
universeSomeData.Universe.Some
universeSomeQData.Universe.Some.TH