(Functor f, Bifunctor p, Functor g) => Bifunctor (BiffB p f g) | |

Functor f => PCopointed (BiffB (,) Identity f) | |

Functor f => PPointed (BiffB Either Identity f) | |

FunctorPlus f => PPointed (BiffB (,) Identity f) | |

(Functor f, Symmetric p) => Symmetric (BiffB p f f) | |

(Functor f, Braided p) => Braided (BiffB p f f) | |

Functor f => PComonad (BiffB (,) Identity f) | |

Functor f => PApplicative (BiffB Either Identity f) | |

FunctorPlus f => PApplicative (BiffB (,) Identity f) | |

Functor f => PMonad (BiffB Either Identity f) | |

FunctorPlus f => PMonad (BiffB (,) Identity f) | |

(Bizip p, Zip f, Zip g) => Bizip (BiffB p f g) | |

(BiZap p q, Zap f g, Zap i j) => BiZap (BiffB p f i) (BiffB q g j) | |

(Functor f, Bifunctor p, Functor g) => Functor (BiffB p f g a) | |