Tidied implicits