Because the compiler now can find and inject imple...

# arrow

[raulraja]

Because the compiler now can find and inject implementations it is in fact verifying your dependency graph is correct at compile time. Whenever you want an injection you can use with.
Resolution of instances is restricted to companions and subpackages of the type class or data type. If you want to have your own overrides you may but they have to be flagged as internal so you can't export them for 3rd parties. Only the type class author or the data type author are allowed to declare an instance that is exportable for third parties to consume.