Data.Nat

data Nat

type family as :!: n :: *