Critique of implicits

[grayswandyr]

Please let’s not hijack the discussion with “meta” questions. The topic here is technical and software engineering aspects of modular implicits. @rand’s, @kantian’s and @lpw25’s interesting posts were about that.