let
outr =
Coproduct
(
OutR
)