Provides a way to append two arrays of possibly different types together by intelligently promoting primitive types where possible.
Key method is Concat.append(array1, array2)
Append two arrays of possibly different types together by intelligently promoting primitive types where possible.
First array type
Second array type
Result array type
First array
Second array
Evidence of ST for result type
Evidence of instance of Promoter for involved types