Data.TypeNat.Nat

data Nat

class IsNat n

class LTE n m

type family StrongLTE (n :: Nat) (m :: Nat) :: Constraint where ...

type Zero

type One

type Two

type Three

type Four

type Five

type Six

type Seven

type Eight

type Nine

type Ten