module Issue461 where

data D : Set where
data D : Set where