Czy istnieje koncepcja czegoś takiego jak funktony kooperacyjne siedzące między comonadami i funktorami?
Każda monada jest również funktorem aplikacyjnym, a każdy funktor aplikacyjny jest funktorem. Ponadto każdy comonad jest funktorem. Czy istnieje podobna koncepcja między comonadami i funktorami, coś w rodzaju funktora kooperacyjnego i jakie są jego