Σ(X∧Y) ≃ X * Y
interaction btw join and suspension