Agda-2.3.2.2: test/fail/Issue690a.agda

module Issue690a where

postulate A : Set

data T : Set → Set where
  c : T (T A)