The store comonad transformer (aka costate). This version is lazy; for a strict version, see Control.Comonad.Trans.Store.Strict, which has the same interface.