(Functor f, Functor g) => Functor (Coproduct f g) | |
(Foldable f, Foldable g) => Foldable (Coproduct f g) | |
(Functor (Coproduct f g), Foldable (Coproduct f g), Traversable f, Traversable g) => Traversable (Coproduct f g) | |
(Functor (Coproduct f g), Comonad f, Comonad g) => Comonad (Coproduct f g) | |
(Contravariant f, Contravariant g) => Contravariant (Coproduct f g) | |
(Foldable1 (Coproduct f g), Traversable (Coproduct f g), Traversable1 f, Traversable1 g) => Traversable1 (Coproduct f g) | |
(Foldable (Coproduct f g), Foldable1 f, Foldable1 g) => Foldable1 (Coproduct f g) | |
(Functor (Coproduct f g), Extend f, Extend g) => Extend (Coproduct f g) | |