I would like to define a generic workflow like this (simplified)
type Fn1 = SomeInput -> \'a type Fn2 = \'a -> SomeResult type Workflow = string * Fn1 *