Есть ли концепция чего-то вроде ко-аппликативных функторов, сидящих между комонадами и функторами?
Любая монада также является аппликативным функтором, а любой аппликативный функтор - функтором. Также любая комонада является функтором. Существует ли похожая концепция между комонадами и функторами, что-то вроде ко-аппликативного функтора, и каковы его свойства? \begin{array}{c} \end{array}...