Where did the idea of (db action) => db come from? A reduction?