### Input
let v = (w: Type) => w;
v Type

### Eval
Type

### Type
Type