так как же сделать байнд.
в обычной монаде есть f: C(a, RLb)
подставляя в сопряжение получаем С(a, RL b) = D(La, Lb) действуем на морфизм функтором R получаем C(RLa, RLb)
теперь тут есть морфизм С(Ja, RLb),
подставляя в относительное сопряжение получаем D(L(a), L(b)), действуем на морфизм функтором R, получаем C(RLa. RL(b))
так и выходит сигнатура для монады F, относительно J
pure: J(a) -> F(a)
bind: (J(a) -> F(b)) -> (F(a) -> F(b))