type t1 = X1 of int | X2 of int let get_int t = match t with X1 i -> i | X2 i -> i type even = int let makeEven i = i*2 let isEven1 i = true let isEven2 i = (i mod 2) = 0