subtyping optional keywords in HMaps

Description

I would expect all of these functions to be well typed, but I get an error only in the type of z-getter:

Solution

Type variables in optional HMap entries are not being substituted.

Pull request: 100
Commit: a62877
Version: 0.3.23

Environment

None
Completed

Assignee

Ambrose Bonnaire-Sergeant

Reporter

import

Labels

None

Approval

None

Patch

None

Components

Fix versions

Affects versions

Priority

Major