@@ -50,6 +50,9 @@ class Category cat => Products cat where
5050instance Monad m => Products (Kleisli m) where
5151 (***) = (BadArrow.***)
5252
53+instance Products (->) where
54+ (***) = (BadArrow.***)
55+
5356-- | A category with finite coproducts.
5457class Category cat => Coproducts cat where
5558 -- | Feed marked inputs through the argument arrow, passing the rest through unchanged to the output.
@@ -74,6 +77,9 @@ class Category cat => Coproducts cat where
7477instance Monad m => Coproducts (Kleisli m) where
7578 (+++) = (BadArrow.+++)
7679
80+instance Coproducts (->) where
81+ (+++) = (BadArrow.+++)
82+
7783-- | A category @cat@ is a CatPlus when @cat a b@ is a monoid for all a, b.
7884class Category cat => CatPlus cat where
7985 -- | The identity of '/+/'.