Accessing keys from a Heterogeneous Map w/ Polymorphic type signature throws type error
The following code:
Start investigating how path-type handles free variables. I think it should basically recur
on its upper (or lower?) bound.
December 3, 2017, 10:35 PM
Unclear how to proceed.