syntax_data: {"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // imagine, this is just where we started. To avoid that, we
context_before:         // a recursive evaluation that `$1 : Eq` -- as you can
context_after:         // check for unbound variables and return an ambiguous (hence possible)