เออแล้วแหล่งเดียวกันที่ว่ามันต้องลงไปถึงประเภทแฝงด้วย อย่างเป็นแพสซีพเหมือนกันมันก็ยังมีแยกประเภทย่อยแฝงไทป์ a ไทป์ b ไทป์ a เหมือนกันจะใช้ด้วยกันไม่ได้ แต่ถ้าเป็น a กับ b จะสแต็กให้ผลคู่กันได้ แล้วยังมีะวกกรณีพิเศษที่แหกกฎอีก อยากรู้ละเอียดต้องไปเปิดวิกิเอา