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

Description

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.

Environment

None

Assignee

Ambrose Bonnaire-Sergeant

Reporter

import

Approval

None

Patch

None

Components

Fix versions

Affects versions

Priority

Minor
Configure