### Input
let a = Type;
grammar {
    adapt rule expr {
        adapt group base {
            a <- "$";
        }
    }
}
let b = Type -> Type;
grammar {
    adapt rule expr {
        adapt group base {
            $ <- "%";
        }
    }
}
let c = Type -> Type;
%

### Eval
Type

### Type
Type