Rewriting this function so that it would only accept 'x' and 'y' of the same type requires bounded polymorphism.
Το να ξαναγράψει κανείς αυτή τη συνάρτηση ώστε να δέχεται μόνο 'x' και 'y' του ίδιου τύπου απαιτεί αναδρομικά φραγμένο πολυμορφισμό.