Andrew Koenig wrote: > def foo(a: T1) -> T2: > > I am presumably going to accept an argument of type T1 or a type derived > from T1, You're making assumptions about the semantics of the annotations here, which I thought wasn't going to be done. -- Greg