{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"module"}]}
  module specifies the constraints, and the infer module solves them.
  all subtyping and assignment constraints are met. In essence, the check