i see

so it's more than all tranducable types implement a common interface?

or the tranduceable operators depend on a small subset of generic functions?