+\db\sql\math monads
docs