  forall t effs.
  ( Member (Embed IO) effs,
    Members [Error UserError, Warn UserError] effs,
    FromJSON t,
    ToJSON t,
    TransitionValid t
  ) =>
  FilePath ->
  Sem (WriteGraph t ': effs) ~> Sem effs
runWriteGraphIO dir = runInputConst (IsDual False) . runWriteGraphIODualizeable dir

runWriteGraphIO' ::