{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
                // which should happen above since it applies to non-ADTs:
                // FIXME: This case overlaps with another one worth handling,
                // we can drill down into regular generic functions.