Allow cartesian product of (a, b) instead of only (a, a)

Allow cartesian product of (a, b) instead of only (a, a) #71