Stav dette: The quantum monad on relational structures