type signature for runWizard