### Input
let x: Type = Type -> Type;
x

### Eval
Type -> Type

### Type
Type