Python: Type Annotations, how to define elements of a tuple?

Question

Here is a minimal case.

def foo(x:int, y:int) -> tuple: 
    return (x*y, y//2)

It's very tempting to be able to write -> tuple(:int, :int) which is not a valid format. Is there a correct approach in this case, or is it still a gray area until python moves further down the type annotation road?

edit: It's apparently possible to do something of the like

def bar(x, y) -> ((str, int), (str, int)): 
     return ("%s+%s" %(x,y), x+y), ("%s-%s" %(x,y), x-y) 

Answer 1

There is now a way to annotate this case:

from typing import Tuple
def foo(x:int, y:int) -> Tuple[int, int]: 
    return (x*y, y//2)

Note: python run-time won't complain about -> (int, int), but it is not correct type annotation according to PEP 484. In other words, you can use it if you want to create your a mini-language using type hints for your own purposes; but it's not accepted by the python typing standard (PEP 484).