• W-Type
• General form
• W-types vs. Inductive types