It's been a while now, but I believe Ed Kmett covers some of this in his talk "Typeclasses vs The World"

https://m.youtube.com/watch?v=hIZxTQP1ifo