Kind inference exception

[etorreborre]

This declaration raises an exception during typecheck:

ability MyAbility g where
  get : '{MyAbility {g}} ()

Encountered exception:
[unifyVars] unknown type in decl result: {[Var User "g"]}
CallStack (from HasCallStack):
  error, called at src/Unison/KindInference/Generate.hs:322:22 in unison-parser-typechecker-0.0.0-KNkVGbTXlis2lnVjsRIJUx:Unison.KindInference.Generate

The proper declaration is:

ability MyAbility g where
  get : '{MyAbility g} ()

Environment (please complete the following information):

• ucm --version: 0.5.27
• macOS 14.2.1, M1