MultivaluedFunctionsMonadWithWorkflowTests