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

: Supertype ( TT'T'I t tt i ) ~ ( tt ( t i ) )
> TT'T'I : t `TT'T` tt `T'I` i `AR___` tt `TT'T'I` t `T'I_` i
> Wedge : t `TT'T` tt `T'I` i `AR___` t `TT'T'I` tt `T'I_` i

Available infix type operators:

: t `TT'T'I` tt | precedence = 7