Explicit types of implicits