> type t = A of int | false of float
>
>
That is so evil.