Важно запомнить, что монады - это всего лишь концепция, а никак не типы или структуры данных.
Монады можно сравнить с оберточной бумагой, в которую можно завернуть данные. И цель такого обертывания - получить доступ к дополнительным операциям. Примерами монад служат List(), Option(), Try(), Set() - внутрь которых мы можем поместить данные.
Извините.