db overhaul, monads