### Input
let v = Type -> Type;
let w = v;
w

### Eval
Type -> Type

### Type
Type