Ian Hofmann-Hicks

Add Guides

1

We should have some Guides to address some of the terminology and theory used in this library. The doumentation should provide the following guides - [ ] Type Signatures -...

## Been wanting for a long time  Implement to initial `Store` datatype, will circle back on StoreT using [this def](https://hackage.haskell.org/package/comonad-5.0.2/docs/Control-Comonad-Trans-Store.html#t:StoreT)

## Costar is not the same as a co-star  Want to add [this definition](https://hackage.haskell.org/package/profunctors-5.2.1/docs/Data-Profunctor.html#t:Costar) implementing: * `Profunctor (Costar f)` * `Costrong (Costar f)` * no `both` like we can...