Data.TypeNat.Nat

data Nat

class IsNat n

class LTE n m

type family StrongLTE n m :: Constraint

type Zero

type One

type Two

type Three

type Four

type Five

type Six

type Seven

type Eight

type Nine

type Ten