Agda-2.3.2.2: examples/AIM5/PolyDep/TYPE.agda

module TYPE where
data Pair (a b : Set1) : Set1 where
  pair : a -> b -> Pair a b

data Unit : Set1 where
  unit : Unit