t =
    | Bool of bool
    | Int  of int