universe-reverse-instances-1.0: instances of standard classes that are made possible by enumerations
Index