Data.Type.Natural.Class