Data.TypeNat.Nat

data Nat

class IsNat n

type One

type Two

type Three

type Four

type Five

type Six

type Seven

type Eight

type Nine

type Ten