diff --git a/COPYING b/COPYING
new file mode 100644
--- /dev/null
+++ b/COPYING
@@ -0,0 +1,25 @@
+Copyright (c) 2012 Conal Elliott
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+2. Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the distribution.
+3. The names of the authors may not be used to endorse or promote products
+   derived from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR
+IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
+OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
+THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
diff --git a/Setup.lhs b/Setup.lhs
new file mode 100644
--- /dev/null
+++ b/Setup.lhs
@@ -0,0 +1,3 @@
+#!/usr/bin/env runhaskell
+> import Distribution.Simple
+> main = defaultMain
diff --git a/ShowF.cabal b/ShowF.cabal
new file mode 100644
--- /dev/null
+++ b/ShowF.cabal
@@ -0,0 +1,25 @@
+Name:                ShowF
+Version:             0.1.0
+Cabal-Version:       >= 1.6
+Synopsis:            Show for * -> *
+Category:            Text
+Description:         Provides a Show-like class for * -> *
+Author:              Conal Elliott
+Maintainer:          conal@conal.net
+Copyright:           (c) 2013 by Conal Elliott
+License:             BSD3
+License-File:        COPYING
+Stability:           experimental
+build-type:          Simple
+
+source-repository head
+  type:     git
+  location: git://github.com/conal/ShowF.git
+
+Library
+  hs-Source-Dirs:      src
+  Extensions:
+  Build-Depends:       base<5
+  Exposed-Modules:     
+                       Text.ShowF
+  ghc-options:         -Wall
diff --git a/src/Text/ShowF.hs b/src/Text/ShowF.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/ShowF.hs
@@ -0,0 +1,50 @@
+-- {-# LANGUAGE #-}
+{-# OPTIONS_GHC -Wall #-}
+
+-- {-# OPTIONS_GHC -fno-warn-unused-imports #-} -- TEMP
+-- {-# OPTIONS_GHC -fno-warn-unused-binds   #-} -- TEMP
+
+----------------------------------------------------------------------
+-- |
+-- Module      :  Text.ShowF
+-- Copyright   :  (c) Conal Elliott
+-- 
+-- Maintainer  :  conal@conal.net
+-- Stability   :  experimental
+-- 
+-- Showable functors
+----------------------------------------------------------------------
+
+module Text.ShowF where
+
+import Data.Functor ((<$>))
+
+-- TODO: explicit exports
+
+class ShowF f where
+  showF      :: Show a =>        f a -> String
+  showsPrecF :: Show a => Int -> f a -> ShowS
+  showsPrecF _ x s = showF x ++ s
+  showF x          = showsF x ""
+
+newtype WrapShowF f a = WrapShowF (f a)
+
+instance (ShowF f, Show a) => Show (WrapShowF f a) where
+  showsPrec p (WrapShowF fa) = showsPrecF p fa
+
+showsF :: (ShowF f, Show a) => f a -> ShowS
+showsF =  showsPrecF 0
+
+showsApp1 :: Show a => String -> Int -> a -> ShowS
+showsApp1 s p a = strApp1 s p (showsPrec 11 a)
+
+showsFApp1 :: (ShowF f, Show a) => String -> Int -> f a -> ShowS
+showsFApp1 s p fa = strApp1 s p (showsPrecF 11 fa)
+
+showsFComp1 :: (Functor g, ShowF g, ShowF f, Show a) => String -> Int -> g (f a) -> ShowS
+showsFComp1 s p gfa = showsFApp1 s p (WrapShowF <$> gfa)
+
+strApp1 :: String -> Int -> ShowS -> ShowS
+strApp1 s p sh = showParen (p >= 11) $ showString s . showChar ' ' . sh
+
+-- To do: Refactor more elegantly?