[ caching ] fixing Eq instances