(Category (Static f), Applicative f) => Arrow (Static f) | |

(Arrow (Static f), Alternative f) => ArrowZero (Static f) | |

(ArrowZero (Static f), Alternative f) => ArrowPlus (Static f) | |

(Arrow (Static f), Applicative f) => ArrowChoice (Static f) | |

Applicative f => Category (Static f) | |

Apply f => Semigroupoid (Static f) | |

Functor f => Functor (Static f a) | |

(Functor (Static f a), Applicative f) => Applicative (Static f a) | |

(Functor (Static f a), Comonad f, Monoid a) => Comonad (Static f a) | |

(Functor (Static f a), Extend f, Semigroup a) => Extend (Static f a) | |

(Functor (Static f a), Apply f) => Apply (Static f a) | |

(Functor (Static f a), Alt f) => Alt (Static f a) | |

(Alt (Static f a), Plus f) => Plus (Static f a) | |