Als «applicative» getaggte Fragen

Gibt es ein Konzept für so etwas wie koapplikative Funktoren, die zwischen Komonaden und Funktoren sitzen?

Jede Monade ist auch ein anwendbarer Funktor und jeder anwendbare Funktor ist ein Funktor. Auch jeder Komonade ist ein Funktor. Gibt es ein ähnliches Konzept zwischen Komonaden und Funktoren, so etwas wie ein koapplikativer Funktor, und welche Eigenschaften hat er? \begin{array}{c} \end{array}...

Welche Beziehungen bestehen zwischen Alternative, MonadPlus (LeftCatch) und MonadPlus (LeftDistributive)?

Follow up Was ist ein Beispiel für eine Monade, die eine Alternative ist, aber keine MonadPlus? : Angenommen, ist eine Monade. Was sind die Beziehungen betweem ein Wesen Alternative , eine MonadPlusCatch und MonadPlusDistr ? mmmmmmFür jedes der sechs möglichen Paare hätte ich gerne entweder einen...