Parameter NodeWithId.Key

type 'k t