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

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

### Type
Type -> Type