Why have an `Option[Seq[...]]` when option is just a special `Seq` that has 0 or 1 elements?  Can we just model the `None` case with an empty Seq?