Is there a statically typed version of Python? Not a 'language inspired by Python', but a true interpreter derivative that does type enforcement and inferencing

Is there a statically typed version of Python? Not a 'language inspired by Python', but a true interpreter derivative that does type enforcement and inferencing? I ask this because the type() function is awesome.