module Data where

data D
  (A : Set)
  : Set

data D A
  where

  c
    : D A

data E
  (B : Set)
  : Set
  where