let is = function Coproduct _, _ -> true | _ -> false