add up-casting when binding tuples