nats (hackage): Natural numbers.
Keywords: algebra|bsd3|library|numeric