### Input
let x = Type -> Type;
grammar {
    adapt rule expr {
        adapt group statement {
            let n = Type; x <- "tel" n:identifier;
        }
    }
    adapt rule keyword {
        "tel";
    }
}

tel x


### Eval
Type -> Type

### Type
Type