module ShortFailingExample where

data D a = D a
type role D nominal
type role D nominal

Multiple role declarations are provided for the same type.

• Remove the extraneous role declarations:

 data D a = D a
 type role D nominal
-type role D nominal