The Difference Between Default and Type Classes

The default value of a default argument is provided by the function that defines it. So, yeah, I think it, it, thinking about it as default arguments that come from the scope, not from the definers is a reasonable way to think about it. But you could also have accomplished that using a type class. Then the user would have to import something that would, that would fill that, that implicit parameter. And so, so I wouldn't ever want to make that my filled in by a type class because there's a million things that can fill that whole.