Add episode 53 (#432)

Author: Tritlo

podcast/53/index.markdown

@@ -0,0 +1,8 @@
+---
+title: Garrett Morris
+episode: 53
+buzzsproutId: 15434473
+recorded: 2024-05-21
+published: 2024-07-18
+---
+In this episode, Garrett Morris talks with Wouter Swierstra  and Niki Vazou about his work on Haskell's  type classes, how to fail  successfully, and how to construct a set of ponies.

podcast/53/links.markdown

@@ -0,0 +1,10 @@
+* [Gattett's webpage](https://jgbm.github.io/)
+* [Garret's DBLP](https://dblp.uni-trier.de/pid/28/8610.html)
+* [Doug McIlroy - Power Series, Power Serious](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/19863F4EAACC33E1E01DE2A2114EC7DF/S0956796899003299a.pdf/div-class-title-power-series-power-serious-div.pdf)
+* [House / Rebeka Leslie](https://programatica.cs.pdx.edu/House/)
+* [Data types a la Carte](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/data-types-a-la-carte/14416CB20C4637164EA9F77097909409)
+* [Lightweight extensible records for Haskell by Mark Jones and Simon Peyton Jones](https://web.cecs.pdx.edu/~mpj/pubs/lightrec.html)
+* [Paper with James McKinna](https://dl.acm.org/doi/10.1145/3290325)
+* [Mark Jone's interpret paper](https://dl.acm.org/doi/pdf/10.1145/199448.199528)
+* [Session types without tiers](https://dl.acm.org/doi/10.1145/3290341)
+* [Constrained Type Families](https://wiki.haskell.org/GHC/Type_families)