namespace mz
{
	template <typename... T>
	struct type_list
	{
		// get the number of types in the list:
		static constexpr size_t length = sizeof...(T);

		// index of the first appearance of the specified type:
		template <typename U>
		static constexpr size_t index_of = /* ... */;

		// determine if a specified type appears in the list:
		template <typename U>
		static constexpr bool contains = /* ... */;

		// get a specific type:
		template <size_t Index>
		using select = /* T...[Index] */;

		// convenience alias for select<0>:
		using first = select<0>;

		// convenience alias for select<0> when length == 1:
		using type = select<0>;

		// get a 'slice' (sublist):
		template <size_t Start, size_t Length = (length - Start)>
		using slice = type_list</* ... */>;

		// adding on to the beginning of the list:
		template <typename... U>
		using prepend = type_list<U..., T...>;

		// adding on to the end of the list:
		template <typename... U>
		using append = type_list<T..., U...>;

		// recursively flatten child sublists:
		using flatten = type_list</* ... */>;

		// remove all occurrences of the specified type:
		template <typename U>
		using remove = type_list</* ... */>;
	};

	// alias for a single-element list:
	template <typename T>
	using type_tag = type_list<T>;
}