{-# LANGUAGE RoleAnnotations #-}
module Refactor.RenameDefinition.RoleAnnotation where

type role AA nominal nominal
data AA a b = A a b