diff --git a/one-liner.cabal b/one-liner.cabal
--- a/one-liner.cabal
+++ b/one-liner.cabal
@@ -1,5 +1,5 @@
 Name:                 one-liner
-Version:              0.2
+Version:              0.2.1
 Synopsis:             Constraint-based generics
 Description:          Write short and concise generic instances of type classes.
 Homepage:             https://github.com/sjoerdvisscher/one-liner
diff --git a/src/Generics/OneLiner/ADT.hs b/src/Generics/OneLiner/ADT.hs
--- a/src/Generics/OneLiner/ADT.hs
+++ b/src/Generics/OneLiner/ADT.hs
@@ -21,10 +21,12 @@
 -- instance `ADT` (T a) where
 --   `ctorIndex` A{} = 0
 --   `ctorIndex` B{} = 1
+--   `ctorInfo` _ 0 = `ctor` \"A\"
+--   `ctorInfo` _ 1 = `ctor` \"B\"
 --   type `Constraints` (T a) c = (c Int, c a, c (T a))
 --   `buildsRecA` `For` sub rec = 
---     [ (`ctor` \"A\", A `<$>` sub (`FieldInfo` (\\(A i _) -> i)) `<*>` sub (`FieldInfo` (\\(A _ a) -> a)))
---     , (`ctor` \"B\", B `<$>` sub (`FieldInfo` (\\(B a _) -> a)) `<*>` rec (`FieldInfo` (\\(B _ t) -> t)))
+--     [ A `<$>` sub (`FieldInfo` (\\(A i _) -> i)) `<*>` sub (`FieldInfo` (\\(A _ a) -> a))
+--     , B `<$>` sub (`FieldInfo` (\\(B a _) -> a)) `<*>` rec (`FieldInfo` (\\(B _ t) -> t))
 --     ]
 -- @
 --
diff --git a/src/Generics/OneLiner/ADT1.hs b/src/Generics/OneLiner/ADT1.hs
--- a/src/Generics/OneLiner/ADT1.hs
+++ b/src/Generics/OneLiner/ADT1.hs
@@ -22,10 +22,12 @@
 -- instance `ADT1` T where
 --   `ctorIndex` A{} = 0
 --   `ctorIndex` B{} = 1
+--   `ctorInfo` _ 0 = `ctor` \"A\"
+--   `ctorInfo` _ 1 = `ctor` \"B\"
 --   type `Constraints` T c = (c [], c T)
 --   `buildsRecA` `For` par sub rec = 
---     [ (`ctor` \"A\", A `<$>` sub (`component` (\\(A l) -> l))
---     , (`ctor` \"B\", B `<$>` par (`param` (\\(B a _) -> a)) `<*>` rec (`component` (\\(B _ t) -> t)))
+--     [ A `<$>` sub (`component` (\\(A l) -> l)
+--     , B `<$>` par (`param` (\\(B a _) -> a)) `<*>` rec (`component` (\\(B _ t) -> t))
 --     ]
 -- @
 -----------------------------------------------------------------------------