template<class, typename T>
manif::internal::is_manif_group_impl struct