\function 30 \leftassoc (\_ \cup \_)
\function 10 \leftassoc (\_ \mapsto \_)
Cartesian Product 8
\generic 5 \rightassoc (\_ \pfun \_)