a tied. De (
K
: a tied.<T> De)