use MonadLevelDB in definitions