module Refactor.RenameDefinition.ClassTypeVar where

class C f where
  f :: f -> f