haskell-tools-builtin-refactorings-1.0.0.0: examples/Refactor/RenameDefinition/RoleAnnotation.hs
{-# LANGUAGE RoleAnnotations #-}
module Refactor.RenameDefinition.RoleAnnotation where
type role A nominal nominal
data A a b = A a b{-# LANGUAGE RoleAnnotations #-}
module Refactor.RenameDefinition.RoleAnnotation where
type role A nominal nominal
data A a b = A a b