In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Stephanie is a long-time contributor to Haskell, having been involved in the design and implementation of features such as generalized algebraic datatypes, higher-rank polymorphism, type families, and promoted datatypes. She has also been a participant in Trellys
![Episode 4: Stephanie Weirich on Zombie and Dependent Haskell](https://cdn-ak-scissors.b.st-hatena.com/image/square/0585114ed60cc31476e91e3eb487c80c342680f7/height=288;version=1;width=512/http%3A%2F%2Ftypetheorypodcast.com%2Fmedia%2Flogo1.png)