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

### Eval
_

### Type
_