Just learning how to instance Comonad on Non-Empty List

Nel.hs

module Nel where

import Control.Comonad

infixr 5 :|
data Nel a = a :| [a] 

toList :: Nel a -> [a] 
toList (a :| as) = a : as

instance Functor Nel where
  f `fmap` (x :| xs) = f x :| (f `fmap` xs) 

instance Comonad Nel where
  extract (a :| _) = a 
  duplicate nel@(_ :| []) = nel :| []  
  duplicate nel@(_ :| (i : t)) = nel :| (toList . duplicate $ (i :| t)) 

module Nel where

-- ew
-- import Control.Comonad

infixr 5 :|
data Nel a = a :| [a] 

toList :: Nel a -> [a] 
toList (a :| as) = a : as

instance Functor Nel where
  f `fmap` (x :| xs) = f x :| (f `fmap` xs) 

class Functor f => Extend f where
  extend :: (f a -> b) -> f a -> f b
  extend f = fmap f . duplicate 
  duplicate :: f a -> f (f a)
  duplicate = extend id

class Extend f => Comonad f where
  extract :: f a -> a

instance Extend Nel where
  duplicate nel@(_ :| []) = nel :| []  
  duplicate nel@(_ :| (i : t)) = nel :| (toList . duplicate $ (i :| t)) 

instance Comonad Nel where
  extract (a :| _) = a 

instance Show a => Show (Nel a) where
  show = show . toList

λ> duplicate (1 :| [2,3,4]) -- ✔
[[1,2,3,4],[2,3,4],[3,4],[4]]