types and parsers for epoch time and absolute DateTime

basically you're asking for dependent types. a type which encodes the proposition that the function returns a `List[Option[DateTime]]` with exactly 0 or 1 `Some` values.