[A little more about tuples.
Bryan O'Sullivan <bos@serpentine.com>**20070715005216] {
hunk ./en/ch03-funcs-types.xml 134
-      tuple to be related.</para>
+      tuple to be related.  We write a tuple by enclosing its elements
+      in parentheses and separating them with commas.  We use the same
+      notation for writing its type.</para>
hunk ./en/ch03-funcs-types.xml 140
-    <para>We can construct a tuple with any number of elements,
-      although in practice, they become unwieldy past a handful.  Each
-      tuple encodes the types of its elements in its own type.</para>
+    <para>We can construct a tuple with any number of elements
+      (although in practice, a tuple with more than a handful becomes
+      unwieldy).  A tuple's type encodes the number and types of its
+      elements in its own type, so tuples containing different numbers
+      or types of elements have different types of their own.</para>
hunk ./en/ch03-funcs-types.xml 250
-      <title>Alternatives to algebraic data types in other
+      <title>Analogues to algebraic data types in other
hunk ./examples/ch03/tuple.ghci 2
-(True, "hello")
+(True, "hello") :: (Bool, String)
hunk ./examples/ch03/tuple.ghci 5
-:type (True, "hello")
}