RoleDeclarationArityMismatch Error

Example

module ShortFailingExample where

data D a = D a
type role D nominal nominal

Cause

The arity of a role declaration does not match the arity of its corresponding type.

Fix

• Remove the extraneous roles:

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