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

### Eval
(f: Type -> Type) => f

### Type
(Type -> Type) -> (Type -> Type)