x: {1, 2, 3} = 1
id|T: Type|(x: T): T = x
add|R: Type, A <: Add(R)|(x: A, y: R): A.Output = x + y

f _: Tuple([{B: Bool | B == False} or Str, Int]) = None
g _: Tuple([]) = None

_: Iterable(List(Int, _)) = [[1]]
_: List(Int, _) = [1]
_: Iterable(Dict({Str: Int})) = [{"a": 1}]

f2|T|(_: Structural { .a = (self: T) -> Obj }): NoneType = None
g2: (|T|(_: Structural { .a = (self: T) -> Obj }) -> NoneType) = f2
_, _ = f2, g2

Packages = [{ .name = Str; .version = Str }; _]
_: Packages = [{ .name = "a"; .version = "1.0.0" }]
_: Packages = [{ .name = "a"; .version = "1.0.0" }, { .name = "b"; .version = "1.0.0" }]