Re: how typish are roles

[TSa]

HaloO,

I wrote:

2) We have A&B and the A B juxtaposition to mean $_ ~~ A && $_ ~~ B
   which is an intersection (sub)type of A and B.

Is the A&B form a legal alternative for the juxtaposition?
--