#include <seqan3/core/type_list/traits.hpp>

int main()
{
    // Return the a type list of the pack without the first type.
    static_assert(std::same_as<seqan3::type_list<float, bool, int>,
                               seqan3::pack_traits::drop_front<int, float, bool, int>>);
}
