create FlowControl type to control flow of computation expression