type t = A of int | false of float