3 ms·Product and coproduct types are not category theory (what is that?)by tathougies 8y agoProduct and coproduct types are not category theory (what is that?)