Data.Natural.Class

class Natural n

reify

iterate