Data.Type.Natural
data Nat
type SNat a
data family Sing a
type n :+: m
type n :*: m
type n :-: m
data Leq n m
class n :<= m
data LeqInstance n m
data LeqTrueInstance a b
type Zero
type One
type Two
type Three
type Four
type Five
type Six
type Seven
type Eight
type Nine
type Ten
type Eleven
type Twelve
type Thirteen
type Fourteen
type Fifteen
type Sixteen
type Seventeen
type Eighteen
type Nineteen
type Twenty
type N0
type N1
type N2
type N3
type N4
type N5
type N6
type N7
type N8
type N9
type N10
type N11
type N12
type N13
type N14
type N15
type N16
type N17
type N18
type N19
type N20