template<typename T>
manif::internal::is_manif_group_impl<decltype(test_lie_group_base(std::declval<T>())), T> struct