/Я language (β)/Primitives/T'I/

: ( T'I t i ) ~ ( t i )

Available infix type operators:

: t `T'I` i | precedence - 8
: t `T'I_` i | precedence - 7
: t `T'I__` i | precedence - 6
: t `T'I___` i | precedence - 5

The same operator with arguments flipped is called I'T.