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

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

### Type
Type