This proposal motivates the use of context parameters for purely static evidence in cases where bounded parametric polymorphism does not suffice. We present the erasure of said parameters and their arguments to avoid their run-time costs. We describe the measures ensuring that erasure is ``capability-safe''—i.e., not semantically observable—in the presence of effects and general recursion, as found in Scala.