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

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

Available infix type operators:

: i `I'T` t | precedence - 8
: i `I'T_` t | precedence - 7
: i `I'T__` t | precedence - 6
: i `I'T___` t | precedence - 5

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