module Refactor.RenameDefinition.ClassTypeVar where

class C t where
  f :: t -> t