unknown

A dummy type for something that cannot be inferred before run-time.