Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
No, it isn't. I found it in The Book of Monads and it is introduced to refer to Final, Initial, and Free monads
The Book of Monads
I've forgotten all about that book. How do you find it, as a Haskell programmer?
I've forgotten all about that book. How do you find it, as a Haskell programmer?