While Homotopy Type Theory has generated much buzz from logicians, computer scientists, type theorists, and cranks on the internet, many pure homotopy theorists remain uninterested. In this talk, I will attempt to change this (at least on a small scale within Penn) by making a philosophical case for why homotopy theorists should care about HoTT. I will not be assuming you know anything about type theory.