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

: ( TT'T t tt i ) ~ ( tt ( t i ) )

Available infix type operators:

: t `TT'T` tt | precedence = 8
: t `TT'T_` tt | precedence = 7
: t `TT'T__` tt | precedence = 6