Also, because of switching from Option[Int] to List[String], the explanation needs to be updated to say that the common supertype of String and Unit is Any (it used to be AnyVal for Int and Unit)