Variable tyFunToString : TyFun -> string. Extract Inlined Constant tyFunToString => "outputableToString".
Instance TyConToString : ToString TyCon := { toString := tyConToString }.
Instance TyFunToString : ToString TyFun := { toString := tyFunToString }.
Variable tyFunToString : TyFun -> string. Extract Inlined Constant tyFunToString => "outputableToString".
Instance TyConToString : ToString TyCon := { toString := tyConToString }.
Instance TyFunToString : ToString TyFun := { toString := tyFunToString }.