Хорошо известно, что аппликативные функторы замкнуты по составу, а монады - нет. Однако у меня возникли проблемы с поиском конкретного контрпримера, показывающего, что монады не всегда сочиняются.

Этот ответ дает[String -> a] как пример немонады. Поработав с этим немного, я верю в это интуитивно, но этот ответ просто говорит:объединение не может быть реализовано не давая никаких объяснений. Я хотел бы что-то более формальное. Конечно, есть много функций с типом[String -> [String -> a]] -> [String -> a]; Нужно показать, что любая такая функция обязательно не удовлетворяет законам монады.

Подойдет любой пример (с сопроводительным доказательством); Я не обязательно ищу доказательства вышеупомянутого примера в частности.