Also ad far as I remember, type tuples can be compared via "==" operator nw.