Put tseitin transformation in a monad