Rejiggered implicits yet again