(Bifoldable f, Bifoldable g) => Bifoldable (Product f g) | |

(Bifoldable1 f, Bifoldable1 g) => Bifoldable1 (Product f g) | |

(Bifunctor f, Bifunctor g) => Bifunctor (Product f g) | |

(Bitraversable f, Bitraversable g) => Bitraversable (Product f g) | |

(Bitraversable1 f, Bitraversable1 g) => Bitraversable1 (Product f g) | |

(Biapplicative f, Biapplicative g) => Biapplicative (Product f g) | |

(Eq (f a b), Eq (g a b)) => Eq (Product f g a b) | |

(Ord (f a b), Ord (g a b)) => Ord (Product f g a b) | |

(Read (f a b), Read (g a b)) => Read (Product f g a b) | |

(Show (f a b), Show (g a b)) => Show (Product f g a b) | |