Let us try to build intelligent criticisms of @jordanbpeterson? Here's a first try.
Peterson sets up a Manichean opposition between Communism and Capitalism. As an ex-Nietzschean, I would not defend communism as its class consciousness leaves no space for the individual. But we can make two points:
1) There are forms similar to communism that work very well, so one has to be very subtle here not to throw the good out with the bad.
2) Capitalism is the cause of many of the problems Peterson is fighting against: it creates its own monsters.

Looking around for how finally tagless might be different on #Dotty I found this talk that shows a number of applications of implicit function types.
slideslive.com/38908156/appli… #Scala3 He has written a post on this too that goes into greater detail "Revisiting Tagless Final Interpreters" gist.github.com/OlivierBlanvil…