The Polymorphic Bench