abstractly-keyed-implicits

Manage the implicit parameter namespace dynamically at compile time.

Manage the implicit parameter namespace dynamically at compile time.

This is an implementation of GHC proposal 737. Relative to that proposal, this suffers from the following (likely hypothetical) limitations:

• It may break if future GHC versions change the implementation of implicit parameters

• It doesn't mandate that bindImplicit and implicitParameter be fully applied, nor guarantee that they don't impose additional runtime cost.

• It uses some auxiliary internal type-level machinery that can't be hidden.

• It is not inferred as safe Haskell (though it is safe).