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

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

### Type
Type -> Type