diff --git a/Control/Comonad/Cofree.hs b/Control/Comonad/Cofree.hs
--- a/Control/Comonad/Cofree.hs
+++ b/Control/Comonad/Cofree.hs
@@ -12,7 +12,7 @@
 import Data.Semigroup ((<>))
 import Text.Read (Read (..))
 
-data Cofree f a = Cofree a (f (Cofree f a))
+data Cofree f a = Cofree { head :: a, tail :: f (Cofree f a) }
   deriving (Functor, Foldable, Traversable)
 
 instance Alternative f => Applicative (Cofree f) where
diff --git a/hs-functors.cabal b/hs-functors.cabal
--- a/hs-functors.cabal
+++ b/hs-functors.cabal
@@ -1,5 +1,5 @@
 name:                hs-functors
-version:             0.1.3.1
+version:             0.1.4.0
 synopsis:            Functors from products of Haskell and its dual to Haskell
 -- description:         
 license:             BSD3