-- @shouldFailWith RoleDeclarationArityMismatch
module Main where

foreign import data A :: Type -> (Type -> Type)
type role A nominal