dynamic TwoTaker(A a, B b)