<div dir="ltr">Reading <a href="https://www.cefns.nau.edu/~edo/Classes/CS396_WWW/Misc_docs/Haskell.html">this</a> I'm a bit confused but think I understand what is meant by a <i>product </i>or <i>tuple </i>type constructor such as <div><br></div><div><font face="monospace">data Point a b = Pt a b</font></div><div><br></div><div>Because <font face="monospace">Point</font> has no "logical or," (<font face="monospace">|</font>) of more than one possible value set such as</div><div><br></div><div><font face="monospace">data Color = Red | Green | Blue</font><br></div><div><br></div><div> it is automatically a tuple type? Also, it has no possible "consing" -- does that play a role?</div><div><br></div><div><font face="monospace">data Things a = T1 a (Things a) | T2 a (Things a) | LastT a</font></div><div><br></div><div><font face="monospace">Things</font> is also parameterized just like <font face="monospace">Point</font>, but, again, <font face="monospace">Things</font> is not a tuple type for the reasons above, e.g., just having one parameterized constructor means automatically a tuple type, right?</div><div><br></div><div>LB</div></div>