{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"Within"}]}
Within the check phase of type check, we check each item one at a time
(bodies of function expressions are checked as part of the containing