Reflexive graphs and parametric polymorphism