haskell - are tuples defined recursively?

1. 
   

   Are n-tuples defined recursively in terms of 2-tuples, for example, are (a,b,c) and (a,(b,c)) the same?

   
   


2. 
   

   If not, what's the rationale behind it?