In python, concatenation of two sequences is typically done by the + operator. However, mypy complains about the following:
+
