Accessing keys from a Heterogeneous Map w/ Polymorphic type signature throws type error

Problem

The following code:

...fails with:

Solution

Start investigating how path-type handles free variables. I think it should basically recur
on its upper (or lower?) bound.