Есть ли у монад свободный интерфейс?

Простите меня, если этот вопрос кажется глупым, но я новичок в мире функционального программирования, поэтому мне понадобятся некоторые обитатели StackOverflow, чтобы меня прояснить.

Из того, что я понял, операция над монадой возвращает монаду. Означает ли это, что у монад есть свободный интерфейс, в соответствии с которым каждая функция, применяемая к монаде, возвращает эту монаду после того, как она применит некоторую операцию к переменной, которую она обертывает?