Infer.InferNode -> Node