All members of a protocol are required to have explicitly declared types. You can read more about it in this PEP