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

data Nat = Z | S Nat