(*
 *     THE COPRODUCT (SUM) DATATYPE
 *
 *)

data coprod(A, B) -> C = b0: A -> C
                       | b1: B -> C.