Version 3.0 * Add instane from `MonadFail`---none of the transformers implement this functionality so the implementation just lifts things. Version 3.8 * Added `WithBase` Version 3.3.0 * Remove 'RunStateM' Simplifies the library without loosing functionality. It seems that we can get the same behavior by just using 'get' and 'set'. * Add functions that use a monad morphism to "derive" implementations of most of the funcitons in the library.