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

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

### Type
Type -> Type