Lints for instances with arguments that cannot be filled in, like
instance {α β : Type} [Group α] : Mul α where ...
Std.Tactic.Lint.TypeClass
Lints for instances with arguments that cannot be filled in, like
instance {α β : Type} [Group α] : Mul α where ...