ой, верно

поправил

а монада это всего лишь моноид в категории эндофункторов!

А, понятно
(нет)

чуть сложнее - ДВЕ операции

а стек монад?

Есть пример из стандартной библиотеки?

но самое интересное в монадах и моноидах - это доказать, что они соблюдают законы, желательно доказать в компайл-тайме

Option<'a>

в эфшарпе нет хорошей истории для стека, в основном потому, что нет синтаксиса, приходится писать СЕ для каждой комбинации

Множество моноидов включает в себя множество монад?

да, ведь монада — это моноид. В категории эндофункторов)

включает ли множество непустых множеств само себя?

а на спичках можно обьяснить?

У меня мега тупой вопрос. А зачем моноиды и монады?

в некоторых языках стдлиба дает много ништяков бесплатно

или какая-то другая либа

Например?

что бы map написать полиморфную)

стек монад - это такой способ скомбинировать низкоуровневые монады в монаду, которая имеет свойства всех этих монад. это дает профит, если у тебя есть синтаксис в языке (сахар или штатный - не важно) описывать такие комбинаторы и использовать их потом. в эфшарпе этого нет, у нас CE  заместо монад, а они не позволяют комбинировать, тебе нужно писать реализацию нового CE, возможно в терминах существующих CE. можешь посмотреть FsToolkit например, они там написали комбинаторы для AsyncResult