¡hola amigos!

 Быў Iван, цяпер ëн Хўан, з мексiканскiх россiян.

увяз в монадической силе

Теперь вот жду, когда выдадут

Arch. Math.: Strong functors and monoidal monads

Anders Kock

благо у меня доступ есть. 

Короче, довольно слабые условия имеются для существования канонической монадической силы. Кок вывел, еще в 72-м году.

Так что все непросто, блин.