diff --git a/src/Symantic/Base/ADT.hs b/src/Symantic/Base/ADT.hs
--- a/src/Symantic/Base/ADT.hs
+++ b/src/Symantic/Base/ADT.hs
@@ -25,11 +25,11 @@
 -- and their associativity and precedence,
 -- with no parenthesis messing around.
 type family EoT (adt :: [[*]]) :: * where
-  -- | This is 'absurd'
+  -- This is 'absurd'
   EoT '[] = Void
-  -- | There Is No Alternative
+  -- There Is No Alternative
   EoT '[ ps ] = Tuples ps
-  -- | The right associativity of @('<+>')@
+  -- The right associativity of @('<+>')@
   -- puts leaves on 'Left' and nodes on 'Right'
   EoT (ps ': ss) = Either (Tuples ps) (EoT ss)
 
diff --git a/symantic-base.cabal b/symantic-base.cabal
--- a/symantic-base.cabal
+++ b/symantic-base.cabal
@@ -2,7 +2,7 @@
 -- PVP:  +-+------- breaking API changes
 --       | | +----- non-breaking API additions
 --       | | | +--- code changes with no API change
-version: 0.0.0.20200708
+version: 0.0.1.20200708
 category: Data Structures
 synopsis: Basic symantics for writing Embedded Domain-Specific Languages (EDSL).
 description: A collection of basic tagless-final combinators.