+ Store(const T &d): data(d) { }
+
+ const std::type_info &type_id() const override { return typeid(T); }
+ StoreBase *clone() const override { return new Store<T>(data); }
+ bool type_equals(const StoreBase &s) const override { return dynamic_cast<const Store<T> *>(&s); }
+ bool value_equals(const StoreBase &s) const override { return _value_equals<T>(s); }
+
+ template<typename U>
+ typename std::enable_if<IsEqualityComparable<U>::value, bool>::type _value_equals(const StoreBase &s) const
+ { const Store<T> *t = dynamic_cast<const Store<T> *>(&s); return (t && t->data==data); }
+
+ template<typename U>
+ typename std::enable_if<!IsEqualityComparable<U>::value, bool>::type _value_equals(const StoreBase &) const
+ { return false; }