$K: any = ...