Minimal infrastructure for type class providers to support the inclusion of derived, subclass and other orphan instances in their implicit scope. - View it on GitHub