Store comonad idiom study with arrow combinators

comonad.hs

import Control.Applicative
import Control.Arrow 
import Control.Comonad
import Control.Comonad.Trans.Store

cget :: Store Int a -> Int
cget = pos

cput :: Store Int Int -> Store Int Int 
cput wf = seek (extract wf) wf
 
w3 :: Store Int a -> String 
w3  = show . pos

w4 = (cget >>> (+1)) =>= cput 


main :: IO ()
main = do 
  putStrLn "comonad test"
  let flow = ((cget >>> (+1)) =>= cput =>= (extract >>> ((w4 =>= (extract >>> w3)) &&& w3))) 
  print (flow (store (const ()) 0))