Existence of an instance of this class yields a way to promote instances of the first two types to an instance of the third type.
Append two arrays of possibly different types together by intelligently promoting primitive types where possible.
First array type
Second array type
Result array type
Evidence of instance of Promoter for involved types
Evidence of ST for result type