How would you type a projection or join operation with nominal typing? You could define and name a set of additional result types, but this is very cumbersome,

How would you type a projection or join operation with nominal typing? You could define and name a set of additional result types, but this is very cumbersome, the type system can and should compute the result type for us.