apg_typeside t apg_instance G1 : s apg_instance G2 : s ---------------------------------- apg_instance (<G1 + G2>) : <s + s>