You can create generic Coproducts with the `Coprod...
# arrow
r
You can create generic Coproducts with the
Coproduct
data type though