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

### Eval
Type

### Type
Type