Você pode converter sua string em inteiros assim:

```python
time(*[int(arg) for arg in "7, 12, 56".split(", ")])
```

Passo a passo
```python
departure_time = "7, 12, 56"
departure_time = departure_time.split(", ")
#['7', '12', '56']
departure_time = [int(arg) for arg in departure_time]
#[7, 12, 56]
```

O Asterisco (*) é usado para empacotar (packing) os argumentos em uma lista.

O código completo poderia ser assim:

```python
from datetime import time

def main():
    separator = ":"
    departure_time = input(
        f"What is your departure time (hours{separator}minutes{separator}seconds)? "
    ).split(separator)
    
    departure = time(*[int(args) for args in departure_time])

    print(departure)
    

if __name__ == '__main__':
    main()
```