so it's more than all tranducable types implement a common interface?
or the tranduceable operators depend on a small subset of generic functions?