manipulate workflow-types:Workflow's.

perform some static analysis on a workflow, without executing it (which would be platform-dependent).

documention at Workflow.Pure.

see the source of Workflow.Pure.Main for an example.

transitive dependencies:

workflow-pure

TODO.