Data.Semigroupoid.Product

Documentation

data Product j k a b where

Constructors

Pair :: j a b -> k a' b' -> Product j k (a, a') (b, b')

Instances

(Semigroupoid j, Semigroupoid k) => Semigroupoid (Product j k)