Product and coproduct types are not category theory (what is that?)