-

Wasted today proving in detail that priorities can be
extended to comonads.