inl, inr |-> in_1, in_2