{-|
Natural number typeclass instances for equality and ordering.
-}
{ equality = ./equality.dhall
, ordering = ./ordering.dhall
, arbitrary = ./arbitrary.dhall
}