Extends the store with the extracting function fn with comonad W.
fn
W
The instance of Comonad for W.
Comonad
The extended store.
Extends the store with the extracting function
fnwith comonadW.