Duplicates the store into StoreT with comonad W.
StoreT
W
The instance of Comonad for W.
Comonad
The duplicated store.
Duplicates the store into
StoreTwith comonadW.