template <typename A, typename B>
struct Tuple2 : PossiblyMoveable<Tuple2<A,B>,A,B>{
    ... 
}