Handling Type Identity with Opaque Types

You will be able to verify that opaque returns behave consistently across different internal implementations.