Привет всем! Я понял, что такое монада: это тип, в который лениво *вписаны* другие типы (и их структура). "Вписаны" означает, что они могут там содержаться по некоторым правилам (правилам для всех монад)
Привет всем! Я понял, что такое монада: это тип, в который лениво *вписаны* другие типы (и их структура). "Вписаны" означает, что они могут там содержаться по некоторым правилам (правилам для всех монад)