%(K:*) %(V:*) @(key:K) @(val:V) @(left:((BBT K) V)) @(right:((BBT K) V)) ((BBT K) V)