abt-0.1.0.0: src/Abt/Types/Nat.hs

module Abt.Types.Nat where

data Nat
  = Z
  | S !Nat