def reveal_type[T]() -> T:
    pass