押し通った感 node.body = try [solution.coerce(expr: node.body.last as! Expr, to: (node.type as! FunctionType).result)]