Извините, может я что-то не так понял. Со степика я помню, что оператор bind - оператор монадического связывания помещает обычное значение в контекст (Контекст ~ коробка)?