`class A : B by x` means that `x` can be any imple...
# language-proposals
v
class A : B by x
means that
x
can be any implementation of
B
, that's it