Pete wrote:

> 1) John, can you recommend a book that covers monads as a next book after Fong & Spivak (especially if it includes applications such as functional programming)?

Have you looked at this one?

* Bartosz Milewski, _[Category Theory for Programmers](https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/)_.

It's free online.