module Main where
import Control.Comonad
import Data.List.NonEmpty

main :: IO ()
main = print (extend id (1 :| [2,3]))
-- (1 :| [2,3]) :| [(2 :| [3]), (3 :| [])]