Inl/Inr are inject not "in-left" "in-right"