/caterwaul/Natural

Exported files:

• duoid
• monoid:

  ../Monoid/Commutative/Type Type Set Natural
  

• package.dhall
• rig:

  ../Rig/Type Type Set Natural