### Input
let x = Type;
grammar {
    adapt rule expr {
        adapt group base {
            x <- "%";
        }
    }
}
let y = Type -> Type;
%

### Eval
Type

### Type
Type