Adding patch to tuples and hlists