Data.Sized.Peano

type Ordinal n

type Sized f n