diff --git a/CHANGES b/CHANGES
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,10 @@
+Version 0.2:
+* Simplified exports in src/Interface/TV.hs.  Now just exports by module
+  rather than by entity.  Also re-export DeepArrow modules.
+* Moved GUI functionality out to a new package "GuiTV".  Removed
+  dependency on Phooey and (indirectly) wxHaskell, as the latter can be
+  difficult to install.
+
 Version 0.1.1:
 * Changed all files to *nix-style line endings.
 
diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,10 @@
 # See README for Cabal-based building.  Other fancy stuff (like haddock) here.
 
 user = conal
-package = TV
 
 configure_args=--disable-use-packages --haddock-args="\
   --read-interface=http://haskell.org/ghc/docs/latest/html/libraries/base,c:/ghc/ghc-6.6/doc/html/libraries/base/base.haddock \
   --read-interface=http://haskell.org/ghc/docs/latest/html/libraries/mtl,c:/ghc/ghc-6.6/doc/html/libraries/mtl/mtl.haddock \
-  --read-interface=http://darcs.haskell.org/packages/phooey/doc/html,c:/Haskell/packages/phooey-0.1/doc/html/phooey.haddock \
   --read-interface=http://darcs.haskell.org/packages/DeepArrow/doc/html,c:/Haskell/packages/DeepArrow-0.0/doc/html/DeepArrow.haddock \
   $(source_args)\
   $(comments_args)\
diff --git a/README b/README
--- a/README
+++ b/README
@@ -1,23 +1,15 @@
-TV is a library for visualizing functional values.  It can also be viewed
-as an approach to functional user interfaces.  It is implemented very
-simply on top of Phooey (http://conal.net/phooey).  The name "TV" comes
-"tangible values", which is the central idea of the library.
-
-TV is an intermediate stage between Phooey and Eros
-(http://conal.net/papers/Eros).
+TV is a library for interfacing to functional values.  It can also be
+viewed as an approach to functional interfaces.  The name "TV" comes
+"tangible values", which is the central idea of the library.  For a fuller
+description and link to documentation, please see the project wiki page:
 
-See tv.cabal for more info, including home page and license.
+  http://haskell.org/haskellwiki/TV
 
-You can configure, build, generate haddock docs, and install all in the usual
-way with Cabal commands.
+You can configure, build, generate haddock docs, and install all in the
+usual way with Cabal commands.
 
   runhaskell Setup.lhs configure
   runhaskell Setup.lhs build
   runhaskell Setup.lhs install
 
-You can find the Haddock-generated documentation at 
-
-  http://darcs.haskell.org/packages/TV/doc/html
-
-Or you can generate them locally with "make colourPrep hscolour haddock".
-There are a few other tricky bits in the Makefile you probably won't need.
+See src/Examples.hs for examples.
diff --git a/TV.cabal b/TV.cabal
--- a/TV.cabal
+++ b/TV.cabal
@@ -1,5 +1,5 @@
 Name:                TV
-Version:             0.1.1
+Version:             0.2
 Synopsis:	     Tangible Values -- composable interfaces
 Category:            Interfaces
 Description:
@@ -7,10 +7,6 @@
   that carry along external interfaces.  Values and interfaces are
   /combined and separable/, which makes TVs ready to use and to reuse.
   .
-  If you just want to /use/ TV, see the main module below
-  ("Interface.TV").  The other modules (@UI.Graphics.TV.*@) are useful
-  for understanding the implementation and adding new features.
-  .
   Try out the examples in @src\/Examples.hs@.
   .
   For more information, including examples, please see the project wiki
@@ -29,7 +25,7 @@
 License:             BSD3
 Stability:	     experimental
 Hs-Source-Dirs:      src
-Build-Depends:       base, mtl, phooey>=0.1, DeepArrow
+Build-Depends:       base, mtl, DeepArrow
 tested-with:	     GHC==6.6
 Extensions:          CPP
 Exposed-Modules:     
@@ -41,7 +37,6 @@
                      Interface.TV.OFun
                      Interface.TV.Common
                      Interface.TV.Defaults
-                     Interface.TV.UI
                      Interface.TV.Kleisli
                      Interface.TV.IO
                      Interface.TV.Misc
diff --git a/src/Examples.hs b/src/Examples.hs
--- a/src/Examples.hs
+++ b/src/Examples.hs
@@ -4,22 +4,12 @@
 
 import Data.List (sort)
 
-import Control.Arrow.DeepArrow
-import Data.FunArr
+-- import Control.Arrow.DeepArrow
+-- import Data.FunArr
 import Interface.TV
 
-main = runBoth shopping
-
-
--- Run both UI and IO flavors
-runBoth :: CTV a -> IO ()
-runBoth tv = runUI tv >> runIO tv
-
-tv0 :: CTV String
-tv0 = tv (oTitle "message" stringOut) "Hello World!"
-
-tv1 :: CTV Int
-tv1 = tv (oTitle "answer" showOut) (42 :: Int)
+-- Try out these the examples with runIO.  For the explicitly IO-typed examples, you
+-- can use runIO or runTV.
 
 reverseT :: DefaultOut ([a] -> [a]) => CTV ([a] -> [a])
 reverseT = tv (oTitle "reverse" defaultOut) reverse
@@ -27,75 +17,6 @@
 --  This one reverses twice
 revTwice :: CTV (String -> String)
 revTwice = reverseT ->| reverseT
-
-apples, bananas :: CInput Int
-apples  = iTitle "apples"  defaultIn
-bananas = iTitle "bananas" defaultIn
-
-total :: Show a => COutput a
-total = oTitle "total" showOut
-
-shoppingO :: COutput (Int -> Int -> Int)
-shoppingO = oTitle "shopping list" $
-            oLambda apples (oLambda bananas total)
-
-shopping :: CTV (Int -> Int -> Int)
-shopping = tv shoppingO (+)
-
-shoppingPr :: CTV ((Int,Int) -> Int)
-shoppingPr = tv ( oTitle "shopping list -- curried" $ 
-                  oLambda (iPair apples bananas) total )
-                (uncurry (+))
-
-shoppingPr' :: CTV ((Int,Int) -> Int)
-shoppingPr' = uncurryA $$ shopping
-
-
-applesU, bananasU :: Input UI Int
-applesU  = iTitle "apples"  (islider 3 (0,10))
-bananasU = iTitle "bananas" (islider 7 (0,10))
-
-shoppingUO :: Output UI (Int -> Int -> Int)
-shoppingUO = oTitle "shopping list" $
-             oLambda applesU (oLambda bananasU total)
-
-shoppingU :: TV UI (Int -> Int -> Int)
-shoppingU = tv shoppingUO (+)
-
-shoppingPrU :: TV UI ((Int,Int) -> Int)
-shoppingPrU = uncurryA $$ shoppingU
-
-
--- This one is polymorphic in value, so say something like
--- "runBoth (sortT :: CTV ([String] -> [String]))".  If you leave out the type
--- annotation, a will default to Int.
-sortT :: (Read a, Show a, Ord a) => CTV ([a] -> [a])
-sortT = tv (oTitle "sort" $ interactLineRS []) sort
-
-
----- Composition.
-
--- Idea: unwords, sort, words
-
-instance DefaultOut [String] where defaultOut = showOut
-instance DefaultIn  [String] where defaultIn  = readIn []
-
-
-wordsT :: CTV (String -> [String]) 
-wordsT = tv ( oTitle "function: words" $
-              oLambda (iTitle "sentence in" defaultIn)
-                      (oTitle "words out"   defaultOut))
-            words
-
-unwordsT :: CTV ([String] -> String) 
-unwordsT = tv ( oTitle "function: unwords" $
-                oLambda (iTitle "words in"     defaultIn)
-                        (oTitle "sentence out" defaultOut))
-              unwords
-
-sortWordsT :: CTV (String -> String)
-sortWordsT = wordsT ->| sortT ->| unwordsT
-
 
 ---- IO examples
 
diff --git a/src/Grading.lhs b/src/Grading.lhs
--- a/src/Grading.lhs
+++ b/src/Grading.lhs
@@ -12,8 +12,7 @@
 import Data.Map (Map,empty,keys,insertWith,findWithDefault)
 import Text.Printf
 
-import Control.Arrow.DeepArrow
-import Interface.TV -- 0.1
+import Interface.TV -- 0.1 or later
 \end{code}
 === 
 
diff --git a/src/Interface/TV.hs b/src/Interface/TV.hs
--- a/src/Interface/TV.hs
+++ b/src/Interface/TV.hs
@@ -1,51 +1,59 @@
 {-# OPTIONS -fglasgow-exts #-}
 
-{- |
-   Module      :  Interface.TV
-   Copyright   :  (c) Conal Elliott 2006
-   License     :  LGPL
-
-   Maintainer  :  conal@conal.net
-   Stability   :  experimental
-   Portability :  portable
-
--}
+----------------------------------------------------------------------
+-- |
+-- Module      :  Interface.TV
+-- Copyright   :  (c) Conal Elliott 2006
+-- License     :  LGPL
+-- 
+-- Maintainer  :  conal@conal.net
+-- Stability   :  experimental
+-- Portability :  portable
+-- 
+-- Package up the various TV modules into one.  Also re-exports
+-- DeepArrow modules.
+----------------------------------------------------------------------
 
 module Interface.TV
   (
-  -- * Tangible values
-   TV, CTV, tv, unTv, runTV
-  -- * 'Input'
-  , Input{-, iEmpty-}, iPrim, iPair, iTitle
-  -- * 'Output'
-  , Output{-, oEmpty-}, oPrim, oLambda, oPair, oCompose, oTitle
-  -- * 'Output' transformers
-  , OX, OFun, wrapO, wrapAO
-  -- * Common ins & outs
-  , Common, CInput, COutput
-  , stringIn, readIn{-, intIn-}, stringOut, showOut, interactLine
-  , readShow, interactLineRS
-  -- * Default ins & outs
-  , DefaultIn(..), DefaultOut(..)
-  -- * Kleisli arrows
-  , kIn, kOut
-  -- ** IO-based
-  , KIO, contentsIn, fileIn, interactOut, fileOut, fromFile, toFile, runIO
-  -- * UI
-  , UI, islider, runUI
-  -- * Misc
-  , wrapF, Cofunctor(..)
+  -- | Inputs -- means of obtaining values
+    module Interface.TV.Input
+  -- | Outputs (interfaces) -- means of presenting values.
+  , module Interface.TV.Output
+  -- | Tangible values -- interface (output) and value, combined & separable
+  , module Interface.TV.Tangible
+  -- | Convert inputs and outputs to arrow values
+  , module Interface.TV.Present
+  -- | Output transformations, as a deep arrow.
+  , module Interface.TV.OFun
+  -- | Some common interaction vocabulary 
+  , module Interface.TV.Common
+  -- | Default inputs & outputs
+  , module Interface.TV.Defaults
+  -- | Monadic TVs, via Kleisli arrows
+  , module Interface.TV.Kleisli
+  -- | IO-based instances of TV classes
+  , module Interface.TV.IO
+  -- | Miscellaneous helpers
+  , module Interface.TV.Misc
+  -- | Re-exports from DeepArrow
+  , module Control.Arrow.DeepArrow
+  , module Data.FunArr
+
   ) where
 
-import Graphics.UI.Phooey (UI)
+-- import Graphics.UI.Phooey (UI)
 
 import Interface.TV.Input
 import Interface.TV.Output
+import Interface.TV.Tangible
+import Interface.TV.Present
 import Interface.TV.OFun
 import Interface.TV.Common
 import Interface.TV.Defaults
-import Interface.TV.UI
 import Interface.TV.Kleisli
 import Interface.TV.IO
 import Interface.TV.Misc
-import Interface.TV.Tangible
+
+import Control.Arrow.DeepArrow
+import Data.FunArr
diff --git a/src/Interface/TV/IO.hs b/src/Interface/TV/IO.hs
--- a/src/Interface/TV/IO.hs
+++ b/src/Interface/TV/IO.hs
@@ -115,7 +115,6 @@
     Disambiguator
 ----------------------------------------------------------}
 
--- | Many TVs work for all 'CommonInsOuts' arrows.  Applying 'runTV' is
--- then ambiguous.  This type specialization disambiguates.
+-- | Type-disambiguating alias for 'runTV'
 runIO :: RunTV KIO
 runIO = runTV
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
@@ -10,8 +10,7 @@
 -- Stability   :  experimental
 -- Portability :  portable
 -- 
--- This module defines an 'Input' type constructor, for obtaining typed
--- values from a user.
+-- Inputs -- means of obtaining values
 ----------------------------------------------------------------------
 
 module Interface.TV.Input
diff --git a/src/Interface/TV/Misc.hs b/src/Interface/TV/Misc.hs
--- a/src/Interface/TV/Misc.hs
+++ b/src/Interface/TV/Misc.hs
@@ -10,10 +10,13 @@
 -- Stability   :  experimental
 -- Portability :  portable
 -- 
--- Misc helpers
+-- Miscellaneous helpers
 ----------------------------------------------------------------------
 
-module Interface.TV.Misc where
+module Interface.TV.Misc
+  (
+   readD, Cofunctor(..), ToIO(..), wrapF
+  ) where
 
 import Control.Arrow (Arrow)
 
@@ -37,12 +40,3 @@
 -- string function into value function.
 wrapF :: (c->d) -> (a->b) -> ((b->c) -> (a->d))
 wrapF after before f = after . f . before
-
-
--- Just a haddock test.  I added this infix support.
-
--- foodle :: Arrow (~>) => a~>b -> b~>c -> a~>c
--- foodle = undefined
-
--- doodle :: Arrow arr => a `arr` b
--- doodle = undefined
diff --git a/src/Interface/TV/OFun.hs b/src/Interface/TV/OFun.hs
--- a/src/Interface/TV/OFun.hs
+++ b/src/Interface/TV/OFun.hs
@@ -10,7 +10,7 @@
 -- Stability   :  experimental
 -- Portability :  portable
 -- 
--- 'Output' transformations, as a "deep arrow".
+-- 'Output' transformations, as a deep arrow.
 ----------------------------------------------------------------------
 
 module Interface.TV.OFun (OX,OFun,wrapO,wrapAO) where
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
@@ -10,8 +10,7 @@
 -- Stability   :  experimental
 -- Portability :  portable
 -- 
--- This module defines an 'Output' type constructor, for presenting
--- typed values to a user.
+-- Outputs (interfaces) -- means of presenting values
 ----------------------------------------------------------------------
 
 module Interface.TV.Output
diff --git a/src/Interface/TV/Tangible.hs b/src/Interface/TV/Tangible.hs
--- a/src/Interface/TV/Tangible.hs
+++ b/src/Interface/TV/Tangible.hs
@@ -1,15 +1,17 @@
 {-# OPTIONS -fglasgow-exts #-}
 
-{- |
-   Module      :  Interface.TV.Tangible
-   Copyright   :  (c) Conal Elliott 2006
-   License     :  LGPL
-
-   Maintainer  :  conal@conal.net
-   Stability   :  experimental
-   Portability :  portable
-
--}
+----------------------------------------------------------------------
+-- |
+-- Module      :  Interface.TV.Tangible
+-- Copyright   :  (c) Conal Elliott 2006
+-- License     :  LGPL
+-- 
+-- Maintainer  :  conal@conal.net
+-- Stability   :  experimental
+-- Portability :  portable
+-- 
+-- Tangible values -- interface (output) and value, combined & separable
+----------------------------------------------------------------------
 
 module Interface.TV.Tangible
   (
@@ -49,7 +51,7 @@
 unTv :: TV (~>) a -> (Output (~>) a, a)
 unTv (Pair1 (o, ida)) = (o, runIdentity ida)
 
--- | To define disambiguating type-specializations
+-- | Useful to define disambiguating type-specializations of 'runTV'
 type RunTV (~>) = forall a. TV (~>) a -> IO ()
 
 -- | Run a 'TV'