Type variables resolution

[UnkindPartition]

[lemmih]

Why is this low priority?

[UnkindPartition]

"Low priority" for me, not for the project. If you or someone else implement this, I'd be happy to merge.

For me it's low priority because:

• it's not required by any of the things I'm doing with haskell-names
• it's somewhat tricky to implement (type vars may be implicitly bound, and their scope may escape the subtree where they are bound)
• it's mostly useful for type checking, but I'm not aware of any ongoing efforts to do typechecking on top of haskell-names/haskell-src-exts.