from typing import TypeVar T = TypeVar('T') def const(x: T) -> T: ...