AutomatonV2 has coproduct functions: this is so that it's more arrow-notation friendly