fork package:monoidal-functors

fork :: Semicartesian cat t => cat a x -> cat a y -> cat a (x `t` y)

Given morphisms cat a x and cat a y, construct the universal map cat a (x `t` y).

>>> :t fork @(->) @(,) show not
fork @(->) @(,) show not :: Bool -> (String, Bool)

>>> fork @(->) @(,) show not True
("True",False)

Given the universal map cat a (x t y), construct morphisms cat a x and cat a y.