diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,4 @@
+0.9.5: Fixed docs
 0.9.4: Added tmap and laws
 0.9.3: Not awake
 0.9.2: Fixed some very small errors
diff --git a/Data/TASequence.hs b/Data/TASequence.hs
--- a/Data/TASequence.hs
+++ b/Data/TASequence.hs
@@ -70,35 +70,37 @@
   (><)       :: s c x y -> s c y z  -> s c x z
   -- | View a type aligned sequence from the left
   tviewl     :: s c x y -> TAViewL s c x y
-{- | View a type aligned sequence from the right
-         
-Default definition:
-> tviewr q = case tviewl q of 
->   TAEmptyL -> TAEmptyR
->   h :< t -> case tviewr t of
->        TAEmptyR -> tempty   :> h
->        p :> l   -> (h <| p) :> l
--}
+  -- | View a type aligned sequence from the right
+  --       
+  -- Default definition:
+  -- 
+  -- > tviewr q = case tviewl q of 
+  -- >   TAEmptyL -> TAEmptyR
+  -- >   h :< t -> case tviewr t of
+  -- >        TAEmptyR -> tempty   :> h
+  -- >        p :> l   -> (h <| p) :> l
   tviewr     :: s c x y -> TAViewR s c x y
-{- | Append a single element to the right
+  -- | Append a single element to the right
+  --
+  -- Default definition:
+  -- 
+  -- > l |> r = l >< tsingleton r
 
-Default definition:
-> l |> r = l >< tsingleton r
--}
   (|>)       :: s c x y -> c y z -> s c x z
-{- | Append a single element to the left
+  -- | Append a single element to the left
+  -- 
+  -- Default definition:
+  --
+  -- > l <| r = tsingleton l >< r
 
-Default definition:
-> l <| r = tsingleton l >< r
--}
   (<|)       :: c x y -> s c y z -> s c x z
-{- | Apply a function to all elements in a type aligned sequence
-
-Default definition:
-> tmap f q = case tviewl q of
->    TAEmptyL -> tempty
->    h :< t -> f h <| tmap f t
--}
+  -- | Apply a function to all elements in a type aligned sequence
+  -- 
+  -- Default definition:
+  -- 
+  -- > tmap f q = case tviewl q of
+  -- >    TAEmptyL -> tempty
+  -- >    h :< t -> f h <| tmap f t
   tmap       :: (forall x y. c x y -> d x y) -> s c x y -> s d x y
   
   l |> r = l >< tsingleton r
diff --git a/type-aligned.cabal b/type-aligned.cabal
--- a/type-aligned.cabal
+++ b/type-aligned.cabal
@@ -1,5 +1,5 @@
 Name:                type-aligned
-Version:             0.9.4
+Version:             0.9.5
 Synopsis:	         Various type-aligned sequence data structures.
 Description:         Various data structures for type aligned sequences: heterogeneous sequences where the types enforce the element order.
 License:             BSD3