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

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

### Type
Type -> Type