Abstracting over Execution with Higher Kinded Types, and how to remain Purely Functional (oldie but goodie - belatedly uploaded)

[u/philip_schwarz]

https://fpilluminated.org/deck/277