Ahoj, prijde mi, ze kvuli testu isinstance() na konkretni typ jsi prisel o duck-typing. Podle mne to neni nutne a slo by dosahnout pres abstraktni bazove tridy (se zachovanim duck-typingu). Tedy test na typ by overolva abstraktniho predka pomoci if not isinstance(val, virtual_ancestor).
Virtualni predek by se zadefinoval takhle:
import abc
class virtual_ancestor(metaclass=abc.ABCMeta):
pass
A kazdy kdo by chtel mit tridu ktera dedi od toho virtualniho predka (tedy ekvivalent k registrovani constraintu) by se zaregistroval pomoci virtual_ancestor.register(my_type).
