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

### Eval
Type

### Type
Type