template <class P, class A, class B>
requires(P&& p) {
{ get<0>(::sus::move(p)) } -> std::convertible_to<A>;
{ get<1>(::sus::move(p)) } -> std::convertible_to<B>;
}