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