хотелось бы понять

Можно ли выразить blocking problem через некоммутативность композиции монад. Такое смутное ощущение, что это почти одно и то же, но надо разобраться.