let is_interp = function
  | App(Coproduct _, _) -> true
  | _ -> false