-- @shouldFailWith OrphanRoleDeclaration
module Main where

type role D nominal