<div dir="auto"><div dir="auto">Around 45 minutes in:</div><div dir="auto"><br></div><a href="http://www.se-radio.net/2017/07/se-radio-episode-296-type-driven-development-with-edwin-brady/">http://www.se-radio.net/2017/07/se-radio-episode-296-type-driven-development-with-edwin-brady/</a></div>