let if_seq ~t ?e c =   match e with   | None -> if_then c (seq t)   | Some f -> if_then_else c (seq t) (seq f)