module AbstractData where

abstract
  data D : Set where
    c : D

  d : D
  d = c