template <typename T, typename Constraint, bool IsRecursive, class Enable>