Started implementing state monad transformer and lenses