why doesn't dict key unify?

[majidaldo]

in

from kanren import eq, var
k = list(
eq( {var('k'):'v'}, {'k': 'v'}   )({})  # var in key
)
v = list(
eq( {'k':var('v')}, {'k': 'v'}   )({})  # var in value
)
k,v

out

([], [{~v: 'v'}])

[brandonwillard]

It looks like this simply hasn't been implemented.