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

### Eval
(w: Type) => w

### Type
Type -> Type