Что означает: аргументе функции?
Аннотация типа аргумента. Интерпретатор питона его игнорирует, но IDE и статические анализаторы могут использовать эти сведения, чтобы поймать ситуации, когда в функцию передаются данные неверного типа.

Также сама программа при желании может получить доступ к этим аннотациям. Есть библиотеки, которые этим пользуются.
Это означает что аргументом являетсят класс Message из модуля types