module Abt.Types.Nat where

data Nat
  = Z
  | S !Nat