Each constructor tags a product type to separate it from others, or if there is only one constructor, the data type is a product type.
Κάθε κατασκευαστής καθορίζει έναν τύπο γινόμενο για να τον διακρίνει από τους άλλους, ή αν υπάρχει μόνο ένας κατασκευαστής ο τύπος δεδομένων είναι τύπος γινομένου.