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

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