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

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

### Type
(T: Type) -> T -> T