ÂParametric polymorphism out the wazoo