Agda-2.3.2.2: test/succeed/Nat.agda

module Nat where

data Nat : Set where
  zero : Nat
  suc  : Nat -> Nat