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

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

### Type
Type -> Type