explicit types for implicits