TypeUnary.TyNat

Type-level natural numbers

data Z

data S n

type family a :+: b

type family a :*: b

type family a :-: b

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