Implicit also means a tradeoff in estimating performance, an instance of an abstraction leaking. I've been trying to think of a totally clean functional abstra

Implicit also means a tradeoff in estimating performance, an instance of an abstraction leaking. I've been trying to think of a totally clean functional abstraction, i.e. that's functional under the hood, but there's no way to tell. Perhaps in a compiler?