Introduce DatabaseT monad.