message: das.named.DefaultStore: Remove unused `defaults_type`.
diff: @@ -184,18 +184,6 @@ namespace das
  | DefaultStore |
  `-------------*/
  - template <typename ... Args>
  - struct DefaultStore
  - {
  - using defaults_type = List<>;
  - template <typename T>
  - struct default_for
  - {
  - static constexpr bool has = false;
  - using type = void;
  - };
  - };
  -
  // The Tail remainder is there to uniquify
  template <typename T, typename ... Tail>
  struct
  @@ -219,6 +207,18 @@ namespace das
  template Effective<typename T::Type, typename T::Type const&>;
  };
  + template <typename ... Args>
  + struct DefaultStore
  + //: public DefaultEffective<is_effective<Args>::value, std::decay_t<Args>, Empty<Args>>::type...
  + {
  + template <typename T>
  + struct default_for
  + {
  + static constexpr bool has = false;
  + using type = void;
  + };
  + };
  +
  template <typename Head, typename ... Tail>
  struct DefaultStore<Head, Tail...>
  : public DefaultStore<Tail...>
  @@ -231,11 +231,6 @@ namespace das
  is_effective<Head>::value,
  std::decay_t<Head>,
  Empty<Head, Tail ...>>::type;
  - using defaults_type = typename std::conditional_t<
  - is_effective<Head>::value,
  - typename DefaultStore<Tail...>::defaults_type::
  - template prepend<SuperHead>::type,
  - typename DefaultStore<Tail...>::defaults_type>;
  template <typename CHead, typename ... CTail>
  DefaultStore(CHead&& head, CTail&& ... tail)
  