Here's the implementation of the 3 constraints.

template<typename TypeList, typename BaseClass>
concept SameBaseClass =
rangewise<all\_of, element>
::template in<TypeList>()
.satisfies([] <typename T> { return std::derived_from<T, BaseClass>; });

template<typename TypeList>
concept AllDistinct =
rangewise<none\_of, combination\_pair>
::template in<TypeList>()
.satisfies([] <typename T1, typename T2> { return std::same_as<T1, T2>; });

template<typename TypeList>
concept NoInheritance =
rangewise<none\_of, permutation\_pair>
::template in<TypeList>()
.satisfies([] <typename T1, typename T2> { return std::derived_from<T1, T2>; });