[tasuki]

Corecursive is pretty good. Haven't listened recently, really enjoyed these two:

https://corecursive.com/021-gods-programming-language-with-p...

https://corecursive.com/006-type-driven-development-and-idri...