How are implicits resolved?