from classes import AssociatedType, Supports, typeclass

class A(AssociatedType):
    ...

class B(AssociatedType):
    ...

@typeclass(A)
def one(instance) -> bool:
    ...

@one.instance(int)
def _one_int(instance: int) -> bool:
    ...

@typeclass(B)
def two(instance) -> bool:
    ...

@two.instance(int)
def _two_int(instance: int) -> bool:
    ...


a: Supports[A] = 1
b: Supports[B] = 1