
July 31, 2020
6:51 p.m.
Hi Guido, That sounds reasonable, and if we're comfortable with typing.Map, then I'm happy to make it `typing.Concatenate`. Just updated the PR with this. Best, Mark