apg_typeside t apg_instance G1 : s apg_instance G2 : s ---------------------------------- apg_instance ((G1 * G2)) : (s * s)