The Evolution of Effects, https://www.youtube.com/watch?v=m821Vz8N_bo
This reminds me how functional programming is beautiful and hard.