Jasper Hugunin: Why Not W? TYPES 2020: 8:1-8:9