Գրեք սա: The quantum monad on relational structures