(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) | |