{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
                    // our base ADT type's fields allows us to guide inference
                    // The use of fresh args that we have subtyped against
                    // along so that, e.g.