I’d just like to offer a general encouragement and support for more learning materials. There are countless different ways to learn a subject, and each new perspective, author, approach, etc. brings something new to the table. I cannot see a downside of more good quality learning material. All the efforts you mention seem like they could be useful to certain audiences.
IIUC, Category theory for Programmers book - OCaml flavor is in the spirit of your suggestions.