Updated Proposal: Revisiting Implicits

https://scastie.scala-lang.org/RmDWCmBDQqKG0ZXR0HSsDA looks pretty good to me compared to the simulacrum example.