vicinity-0.1.0: src/Data/Nat.hs

module Data.Nat
  ( Nat(..)
  ) where

data Nat = Z | S Nat