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

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

### Type
(Type -> Type) -> (Type -> Type)