Naming conventions
Replace ->monad-implementation with monad-implementation to avoid
problems on repl dev
Better transformers, first version of lift