apply _HalfOf stuff to coercion addition