Community
Participate
Working Groups
The key of a variable binding includes the variable bindings type. Since the type doesn't count to a signature of a variable we could keep the key shorter by not adding the type.
Fixed and released in HEAD.