it's actually the indexing of each type of the union that is strange, maybe. because if the task can output any of the types of the union, and it's indexed for each of them, in some cases it will not be able to produce a value of the type you requested