use <k,K> notation instead of <k:K> for a key <k>