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

Activity

Show:
Ambrose Bonnaire-Sergeant
December 3, 2017, 10:35 PM

Unclear how to proceed.

Declined
Your pinned fields
Click on the next to a field label to start pinning.

Assignee

Ambrose Bonnaire-Sergeant

Reporter

import