I think Jaı sá deo ró tú koaq should mean (∃D: jaı(D)) xor (∀K: jaı(K)), rather than the current output ∃D: ∀K: jaı(D) xor jaı(K).

What goes "wrong" now, simplifying a little, is that these trees:

ró : α → α → Cont α
tú koaq : Cont e

combine fmap-wise (with α = e) into ró tú koaq : Cont (e → Cont e), which isn't quite what we want. Essentially, ró and tú should be in "different" Cont monads that don't mix.

They are better off combining plainly (with α = Cont e) into Cont e → Cont Cont e, "deferring" the effect of ró. Then a monadic join later in the tree (from Cont Cont t into Cont t) will give the right formula.