A Functional Workflow Language