The language specification for Object should now include how to parameterize an Object type as implemented in PUP-8078.