vse :: Prover VSESign Sentence VSEMor () ()
vse = (mkProverTemplate vseProverName () prove)
  { proverUsable = vseBinary >>= checkBinary }
vse :: Prover VSESign Sentence VSEMor () ()
vse = (mkProverTemplate vseProverName () prove)
  { proverUsable = vseBinary >>= checkBinary }
vse = (mkProverTemplate vseProverName () prove)
  { proverUsable = vseBinary >>= checkBinary }