### Input
let y = Type;
grammar {
    adapt rule expr {
        adapt group statement {
            let y = Type -> Type; e <- "tel" e:expr;
        }
    }
    adapt rule keyword {
        "tel";
        "in";
    }
}

tel y

### Eval
Type

### Type
Type