template<>
manif::internal::is_ad<dual0thf> struct