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

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

### Type
Type -> Type