module Issue477 where

data D where
  c : D