monad может быть ловушкой.