Or just fix the type printer to generate nice names for unnamed type variables (a, b, c, ... instead of t_1, t_2, t_3, ...), making sure that no generated name collides with a named variable.
Or just fix the type printer to generate nice names for unnamed type variables (a, b, c, ... instead of t_1, t_2, t_3, ...), making sure that no generated name collides with a named variable.