The Evolution of Effects, https://www.youtube.com/watch?v=m821Vz8N_bo

This reminds me how functional programming is beautiful and hard.