@hackage / naturals

Constructors and related functions for natural numbers