What is arbitrarily ranked polymorphism? I don't understand anything past rank 2... Is this arbitrarily ranked polymorphism decidable? This message has been brought to you by the letter alpha and the number pi.