universe-some-1.2.2: Universe instances for Some from some

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