ทฤษฎีประเภทมาร์ติน - โลฟใช้ W-types เพื่อกำหนดโครงสร้างอุปนัยเช่นจำนวนเต็ม, รายการ, ฯลฯ อย่างไรก็ตามแคลคูลัสของการสร้างแบบเหนี่ยวนำไม่ได้ใช้ในลักษณะเดียวกัน
ทั้งสองวิธีนี้มีความเท่าเทียมกันหรือไม่ มีเหตุผลทางปรัชญาหรือไม่ว่าทำไมถึงดีกว่าอีกอันหนึ่ง (สำหรับฉันแล้ว W-type รู้สึกเหมือนสัญชาตญาณมากกว่าเพราะเป็นเพียงต้นไม้ที่มีโครงสร้างพิเศษ) ซึ่งง่ายกว่าจากการนำมุมมองไปใช้ (ประเภทอุปนัยน่าจะดีกว่าสำหรับฉันเนื่องจากประเภท W เป็นประโยชน์เราต้องการอย่างน้อยประเภทและผลิตภัณฑ์ที่ จำกัด เพื่อให้มีอยู่ในแกนกลางของระบบ)