module Refactor.OrganizeImports.InstanceCarry.TypeClass where

class C t where
  f :: t -> t