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