On Tuesday, 25 December 2018 at 00:32:55 UTC, Paul Backus wrote: > No, because equality comparison between classes lowers to > `object.opEquals` [1], which takes both parameters as `Object`. This is a severe limitation. Are there any plans on fixing this or do I have to wait for Andrei's proposed ProtoObject?