Enumerate.Cardinality

class Finite a

type family GCardinality (f :: * -> *) :: Nat

reifyCardinality

type CardinalityWithin n a

type IsCardinalityWithin n a