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