Agda-2.3.2.2: test/succeed/AbstractData.agda

module AbstractData where

abstract
  data D : Set where
    c : D

  d : D
  d = c