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

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

### Type
Type -> Type