TracingMonadWithWorkflowTests: using computation expressions