Make UniqSM into a proper monad