(Actually, the idea of semimonads (a "priority" as
defined here is a sort of semicomonad)
does appear in the literature in the more general setting
of 2-categories, but I lost the reference.
Somewhere in an Australian Mathematical Society journal,
if I remember correctly)
[
LaTeX]
[
DVI]