module Refactor.RenameDefinition.FunTypeVar where f :: a -> a f x = x