diff --git a/TV.cabal b/TV.cabal
--- a/TV.cabal
+++ b/TV.cabal
@@ -1,5 +1,5 @@
 Name:                TV
-Version:             0.4.6
+Version:             0.4.7
 Synopsis:	     Tangible Values -- composable interfaces
 Category:            Interfaces
 Description:
diff --git a/src/Interface/TV/Input.hs b/src/Interface/TV/Input.hs
--- a/src/Interface/TV/Input.hs
+++ b/src/Interface/TV/Input.hs
@@ -31,16 +31,23 @@
 ----------------------------------------------------------}
 
 -- | An /Input/ describes a way to obtain a functional value from a user.
--- Used in Output for making function visualizations.
+-- Used in @Output@ for making function visualizations.
+-- The constructors: primitive, pairing, and title.
 data Input src :: * -> * where
-  -- | Input primitive
+  -- -- | Input primitive
   IPrim :: src a -> Input src a
-  -- | Input a pair
+  -- -- | Input a pair
   IPair :: Input src a -> Input src b -> Input src (a,b)
-  -- | Massage via an arrow value (generalizes fmap)
+  -- -- | Massage via an arrow value (generalizes fmap)
   -- ICompose :: Input src a -> src (a -> b) -> Input src b
-  -- | Title/label an input
+  -- -- | Title/label an input
   ITitle :: String -> Input src a -> Input src a
+
+
+-- As of 2010-09-10, Haddock still doesn't support doc comments for GADT
+-- constructors.  See <http://trac.haskell.org/haddock/ticket/43>.
+-- When that bug gets fixed, fix the doc strings above.
+
 
 instance Title_f (Input src) where title_f = iTitle
 
diff --git a/src/Interface/TV/Output.hs b/src/Interface/TV/Output.hs
--- a/src/Interface/TV/Output.hs
+++ b/src/Interface/TV/Output.hs
@@ -42,17 +42,24 @@
 
 -- | An /Output/ describes a way to present a functional value, perhaps
 -- interactively.  It is the user-interface half of a tangible value.
+-- The constructors: primitive, function, pairing, and title.
 data Output src snk :: * -> * where
-  -- | Output primitive
+  -- -- | Output primitive
   OPrim :: snk a -> Output src snk a
-  -- | Visualize a function.  Akin to /lambda/
+  -- -- | Visualize a function.  Akin to /lambda/
   OLambda :: Input src  a -> Output src snk b -> Output src snk (a->b)
-  -- | Visualize a pair
+  -- -- | Visualize a pair
   OPair :: Output src snk a -> Output src snk b -> Output src snk (a,b)
-  -- | Massage via an arrow value (like cofmap)
+  -- -- | Massage via an arrow value (like cofmap)
   -- OCompose :: src (a -> b) -> Output src snk b -> Output src snk a
-  -- | Title/label an output
+  -- -- | Title/label an output
   OTitle :: String -> Output src snk a -> Output src snk a
+
+
+-- As of 2010-09-10, Haddock still doesn't support doc comments for GADT
+-- constructors.  See <http://trac.haskell.org/haddock/ticket/43>.
+-- When that bug gets fixed, fix the doc strings above.
+
 
 instance Title_f (Output src snk) where title_f = OTitle