Data.Cardinal

data Zero

class Cardinal a

type C0

type C1

type C2

type C3

type C4

type C5

type C6

type C7

type C8

type C9

type C10

class Cardinality a

card

class GCardinality a