python typing callable example