Further, the parameter types of a constructor are the factors of the product type.
Επιπροσθέτως, οι τύποι παράμετροι ενός κατασκευαστή είναι οι παράγοντες του τύπου γινομένου.