вероятно вы имели ввиду "порядок монад в стеке"

А вот если бы у тебя была статическая типизация, то tf бы не было.

@anonymous нет, лень кароч описывать, было бы тоже самое // в смысле вышло не хуже, чем

@238328 значит недостаточно статическая //недостаточно богатая система типов