diff --git a/README b/README
new file mode 100644
--- /dev/null
+++ b/README
@@ -0,0 +1,12 @@
+Haskell bidirectional arrows, bijective functions, and invariant functors
+
+Representations and operations for bidirectional arrows (total isomorphisms: an
+arrow paired with its inverse).  Classes for invariant functors and monoidal
+functors.  Includes a number of useful bijections and operations, as well as
+interoperability with related packages.
+
+See also: semigroupoids, TypeCompose, lens, semi-iso, partial-isomorphisms, and
+Piso packages.
+
+Artem Alimarine, et al. There and Back Again: Arrows for Invertible
+  Programming. Haskell '05.
diff --git a/invertible.cabal b/invertible.cabal
--- a/invertible.cabal
+++ b/invertible.cabal
@@ -1,5 +1,5 @@
 name:                invertible
-version:             0.2.0.4
+version:             0.2.0.5
 synopsis:            bidirectional arrows, bijective functions, and invariant functors
 description:
   Representations and operations for bidirectional arrows (total isomorphisms: an
@@ -17,6 +17,7 @@
 build-type:          Simple
 cabal-version:       >=1.10
 tested-with:         GHC == 7.10.3, GHC == 8.0.1
+extra-source-files:  README
 
 source-repository head
   type: git
@@ -49,7 +50,7 @@
 flag TypeCompose
   description: Support the TypeCompose package
   manual: True
-  default: True
+  default: False
 
 library
   other-modules: