fun <T1: Any, T2: Any, R> with(receiver1: T1, receiver2: T2, block: context(T1, T2) () -> R): R

subtyping relation about T1 nd T2 not allowed. But I want to say "T1 will have no relation to T2 so its fine"