omg at last : few good tests pass
must handle polymorphic access to an instance, ie. unbound Eq