Bounded polymorphism

From wiki.visual-prolog.com