015 - Dependent Types in Haskell with Stephanie Weirich

In todays interview Stephanie Weirich explains her efforts to make haskell have dependent types and how that example worked.