module Data where

data D
  (A : Set)
  : Set

data D A
  where

  c
    : D A