example : lawful_monad set := {}
