let cigar_op_insertion i = Or_error.(positive i >>| fun i -> `Insertion i)