{-# OPTIONS --warning ShadowingInTelescope #-}

postulate
  _ : (A A : Set)  Set