type-natural-0.3.0.0: Type-level natural and proofs of their properties.

Index - @

@+Data.Type.Ordinal
@@Data.Type.Natural