Type Alias StoreT<S, W, A>

The store comonad transformer, the object holding the index S and accessor (s: S) => A on W.